同理,因为,根据,故,当时始终有:
取(该式子表示是和中最大的那个数),那么当时有:
这显然是矛盾的,所以假设不成立,本定理证明完毕。
该定理的几何意义是很清晰的,比如下面的,有,从图像上可以看出无论上半部分的点、还是下半部分的点,都无限逼近于确定的黑色虚线,其极限是唯一确定的: