rudin的构造？很早之前看的时候有过想法，从结果推回去的话应该是从p²＜2开始入手的，等号两边同时加上kp使得左边可以分离为p(p+k)的形式，因为我们希望找到一个q总是比p大即可，不妨设k是正的，这样我们就分离出了2+kp/p+k的形式，我们同时要使得q更加紧，那么还要加上＜2的条件。解不等式自然的就得到k＝2是一个解。
不过rudin的证明实在是很跳跃，尽管很优雅就是了

你电脑吧发的锁屏问题 我能解决 需要帮忙了吭声