证明对某个实数x,恰有一整数N,使得N≤x

不妨设x>0
假设不存在
则由0由1如此下去得到对于任意正整数N有N这与x是一有限的数而且整数集无上界矛盾