有个定理：对任意的正整数n，一定存在一个素数p，满足 n<p<2n.
所以如果 p 是小于 n 的素数中最大的那个，一定有 n<2p。

【 在 gtgtjing 的大作中提到: 】
: 为什么p平方一定大于等于n呢？
--
FROM 120.235.172.*