没问题，我们顺着你已经想到的思路，用数学归纳法把这个素数不等式的证明补全：

1. 基础情况验证 #

先从最开始的几个素数入手，确认归纳的起点成立：

• 当( n=1 )时，( p_1=2 )，右边( 2^{{2\times1-1}=2}1=2 )，显然( 2 \leq 2 )，成立。
• 当( n=2 )时，( p_2=3 )，右边( 2^{{2\times2-1}=2}3=8 )，( 3 \leq 8 )，成立。
• 当( n=3 )时，( p_3=5 )，右边( 2^{{2\times3-1}=2}5=32 )，( 5 \leq 32 )，成立。
• 当( n=4 )时，( p_4=7 )，右边( 2^{{2\times4-1}=2}7=128 )，( 7 \leq 128 )，成立。

2. 归纳假设 #

假设对于任意正整数( k \geq 1 )，不等式( p_k \leq 2^{2k-1} )成立——也就是前k个素数都满足这个上界。

3. 归纳递推（核心步骤） #

现在要证明( p_{k+1} \leq 2^{2(k+1)-1}=2{2k+1} )，我们结合你提到的素数构造思路展开：

关键构造与素数性质 #

令( m = 1 + p_1p_2\cdots p_k )，根据素数的基本性质：

存在素数( p )整除( m )，且( p )不可能是前k个素数中的任何一个（如果( p )是( p_1,p_2,\dots,p_k )中的某个素数，那么它会整除( m - p_1p_2\cdots p_k = 1 )，这显然矛盾）。因此( p )是大于( p_k )的素数，自然有( p_{k+1} \leq p )，进而得到( p_{k+1} \leq m = 1 + p_1p_2\cdots p_k )。

分情况完成递推 #

我们分两种情况讨论，覆盖所有可能的k值：

• 当( k \leq 4 )时：直接计算( m )的值，能直观看到它小于等于( 2^{2k+1} )：

  • ( k=1 ): ( m=1+2=3 \leq 2^3=8 )，( p_2=3 \leq 8 )，成立。
  • ( k=2 ): ( m=1+2\times3=7 \leq 2^5=32 )，( p_3=5 \leq 32 )，成立。
  • ( k=3 ): ( m=1+2\times3\times5=31 \leq 2^7=128 )，( p_4=7 \leq 128 )，成立。
  • ( k=4 ): ( m=1+2\times3\times5\times7=211 \leq 2^9=512 )，( p_5=11 \leq 512 )，成立。

• 当( k \geq 5 )时：此时( m=1+p_1p_2\cdots p_k )会远大于( 2^{2k+1} )，但我们可以借助素数分布的性质推导：
  根据归纳假设，( p_k \leq 2^{2k-1} )。由伯特兰-切比雪夫定理可知，对于任意整数( n>1 )，存在素数( p )满足( n < p < 2n )。令( n=2^{2k-1} )，则存在素数( p )使得：
  [
  2^{2k-1} < p < 2\times2^{2k-1}=2{2k} < 2^{2k+1}
  ]
  由于( p > p_k )（因为( p > 2^{2k-1} \geq p_k )），所以( p_{k+1} \leq p < 2^{2k+1} )，不等式成立。

结论 #

通过数学归纳法的基础验证和递推证明，我们得出：对于所有正整数( n )，第n个素数( p_n \leq 2^{2n-1} )。

内容的提问来源于stack exchange，提问作者C.Math