Este es un ejercicio para demostrar que
π((x+1)2)−π(x2)π(x−π(x))∼1
asumiendo la hipótesis no probada: π(x2,x2+x2(θ))∼x2(θ)lnx2 con θ=12 .
Con esta suposición, si π(x2,x2+x)∼xlnx2 entonces π(x2,x2+2x)∼2xlnx2=xlnx
Como apunte, con la hipótesis, el número de primos en un intervalo cuadrado que comienza en x2 de longitud 2x sería asintóticamente igual a la del intervalo (0,x) , una noción apoyada por Mathematica para los números a su alcance.
La hipótesis θ=1/2 es más fuerte que los resultados incondicionales actuales.
Así que queremos demostrar que π(x−π(x))∼xlnx . No veo ninguna razón para no utilizar la PNT aquí... π(x)∼xlnx . Aplicando esto dos veces,
xlnx∼(x−xlnx)ln(x−xlnx)
El ejercicio es tal vez trivial en este punto porque el numerador de la H.R. de esta expresión podría interpretarse como el número de compuestos en un intervalo a medida que x se hace grande, que sabemos que será cercano a x para x grande. Entonces la fracción completa se parece al número de primos ≤ x.
lnx(x−xlnx)xln(x−xlnx)∼1 . Pero
lnx(x−xlnx)xln(x−xlnx)=xlnx−xlnxlnxxln(x−xlnx)=xlnx−xxln(x−xlnx)=x(lnx−1)xln(x−xlnx)=lnx−1ln(x−xlnx)=lnx−1ln(x(1−1lnx))=lnx−1lnx+ln(1−1lnx)∼1
Entonces la pregunta es, después de la edición ¿el cálculo es correcto hasta donde llega?
Edición: La motivación para esto fue que pensé que la iteración π expresión era una mejor aproximación de card(primes on square interval) que xlnx . Pero ambos ratios π((x+1)2)−π(x2)π(x−π(x)) y π((x+1)2)−π(x2)(lnxx) son oscilantes y el resultado depende del valor preciso de x elegido.