上限(下限)公理を認めればlim[n→∞]1/n=0が成立するわな