>>600
[x→3]x<3と言いたいのだろう
なら、
[x→∞]x<∞