转化下放缩下,欲证 2pi≥pi+1−pi2\sqrt{p_i}\ge p_{i+1}-p_i2pi≥pi+1−pi。
考虑表,当 X≤1012X\le 10^{12}X≤1012 时,gap≤581gap\le 581gap≤581,于是只需验证 pi≤2902p_i\le 290^2pi≤2902 时结论即可,写个筛判下即可。