main=putStr"∞"