>>927
間違い見つかった。背理法の枠では
有理数a_n・C、n≧1は任意でなく「或る」で固定して考えないとダメな訳ね。
で、極限操作は通用しないと。