n>1 に対し，k が 2 から n までのときの 1 - 1/k^2 の総乗が (n + 1)/(2 n) となることを数学的帰納法を使って証明する