>>621
[x→∞]x≧∞は>>614の文章を数式化しただけだよ