でもアルキメデスの原理示すとき
もし ∀ｎ∈Ｎ：ｎａ≦ｂ と仮定すると
って始まってるんですよ。