，定义：
.
(1)若
，当
时比较
与
的大小关系.(2)若对任意的
，都有使得
，用反证法证明：
. 
，.，当时比较与的大小关系.，都有使得，用反证法证明：. 
；（2）见解析.解析:
，则
，则
的
使得
，
矛盾，运用反证法得到结论。，则 --------6分，则的使得，矛盾。所以假设不成立，原命题为真 -----------8分