数列の 論法は、以下のような抽象的な議論をするときには強力な道具になります。 例 ならば (証明) を固定する。 により ならば となる自然数 が存在する。 のうち最大のものを とすれば により ならば となる自然数 が存在する。 そこで とおくと のとき と…