用归纳法证明对于 n>1, 当 k 从 2 到 n 时 1 - 1/k^2 的乘积为(n + 1)/(2 n)