更正：不超过[P(n+1)]^1/2的最大素数，小于等于P(i+1).

按照勒让德猜想，在p[i+1]²和(p[i+1]+1)²之间至少有一个素数p，
如果p[i]²≤p[n]<p[i+1]²，那p＞p[n]，所以p[n+1]≤p<(p[i+1]+1)²，也就是p[n+1]^(1/2)< p[i+1]+1 ≤ p[i+2]
所以如果素数q满足 q ≤p[n+1]^(1/2)，那q<p[i+2]，不会超过p[i+1]

搞定黎曼猜想，勒让德猜想自然难度大降（上界逼近了）

搞定黎曼猜想太难了，搞定与之相关的边缘命题，相对容易些。

勒让德猜想：区间 ((Pi)^2, (Pi+1)^2)内，至少存在一个素数。

实例：下列区间（2^2, 3^2），(3^2, 4^2)，(5^2, 6^2), …, 至少存在一个素数。

1