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