与えられた任意の正の実数
を満たすように取る。
有理数の集合は実数の集合において稠密であるから,
このとき,
であるが,
が成り立つ。
同様にして,
を得る。
以上により,
となる。
すなわち,任意の正の実数
まず,任意の実数
いずれにせよ,実数の積の可換性を未知とする設定のため,絶対値に関する三角不等式などの不等式や,四則演算に関する他の法則,さらには数列や関数の極限の基本的な性質に関する,実数の積の可換性を一切用いない証明をあらかじめこしらえておかないと,どこかで論点先取の誤りを犯してしまいそうなため,この問のようにこの証明だけを切り出して証明問題として掲げるのは適切な演習問題とは言えないかもしれない。
ともかく,このような基本的な事柄を「証明」するのでさえ,細心の注意が要求される。なかなかに緊張感があるのみならず,極限に関する議論において,いかに多くの実数の性質を使用しているか,改めて認識することができるという点においては,むしろ良い演習問題と言うべきかもしれない。