高校数学で lim[n→∞]1/n=0 は証明無しだっけ?