数学分析？

因为η是上确界，所以S里面就没有比η还要大的数。可是现在取η2=η+1/n>η，通过推理得出了η2²<2，且η2∈Q，那表示什么？表示η2∈S啊，S里面有一个η2比你上确界还大，可能吗？不就矛盾了吗？

少写了很多步骤 一塔2 是有理数 且 一塔2的平方 < 2 所以 一塔2∈S 因为 一塔是 S的上确界 所以 一塔2≤ 一塔 但是这与 一塔2 = 一塔 + 1/n>一塔 矛盾 假设不成立 所以S没有上确界