複素数xに対して,|x|=x⇔x>=0.大小関係は二実数においてのみ成り立つ.
Re:>>70 a_k+1 = (k+1)^2 のところは自明ではないのでその部分の証明文を書けばよい.