是。
如果最大的实数不是 100 ，那么假设其为 p 。
由假设可以得知 0<p-100 ，
那么不等式两边同乘 p-1 ，
得到 0<(p-100)(p-1)=p^2-101p+100 。
移项得 p<\frac{p^2+100}{101} 。
因此 p 不是最大实数，即 100 是最大的实数。
狗头
其实这个「证明」很适合让反证法的初学者来纠错。。。
没想到这么一个胡扯的回答还有人看(捂脸)。于是我决定写一点小小的科普。
正如评论区里的同学们所指出的，这个「证明」的问题在于当我们对命题进行否定时，先假定了实数存在最大值，而这个假设就是错误的！
我们来回想一下最经典的那个反证法，即证明 \sqrt{2} 是无理数的那个证明。其实我们在证明前就已经假设了 \sqrt{2} 的存在性与实数不是有理数就是无理数。
当然我不是来写数学分析的(笑)。我们回到问题本身:
100是最大的数吗？当然我们都知道这不成立，但为了让它成立，我们该怎么办呢？
简单，改变大小的定义就可以了！
不能解决问题，就去改变定义，这是数学家的一贯优良传统。(划掉)
我们来想想看，实
