一个数jjj是某质数p1p_1p1的倍数,且j<p12j<p_1^2j<p12,求证: 存在质数p2<p1p_2<p_1p2<p1,使jjj是p2p_2p2的倍数
其实就是埃氏筛优化的证明,宣馆