>)624
[x→∞]x<∞でFA?