>>687
収束することを示すのに
> n→∞のときa_n→√2とする
と収束することを仮定してどうする