数学嵌套求和公式