Ejercicio 7 , Tema 2

Marta García García

Sara Berdún Mallén
María Vargas Magán
Ana Arias Peña
Noviembre 2022

Ejercicio 7
Demostrar que existen constantes A, B >0 tales que para x suficientemente
grande se cumple
√ X log(p) √
A x≤ √ ≤B x
p
p≤x

Solución:

Sabemos que:

P
θ(x) = p≤x log(p)

Sabemos, por el Teorema 3.2 que:

X
Ax ≤ log(p) = θ(x) ≤ Bx
p≤x

con x ≥ 2
1
Ahora vamos a aplicar la Fórmula de Abel , con f (t) = √
t
y

log(p), si n= p , p primo
an :=
0 en otro caso

De esta forma vamos a obtener la primera desigualdad que nos queda:

1 x √
X log(p) X Z
1 3 θ(x) Ax
√ = an f (n) = θ(x) √ + θ(t)t− 2 dt ≥ √ ≥ √ = A x
p t 2 1 x x
p≤x p≤x

1
Ahora vamos a obtener la segunda desigualdad:

1 x B x −3 √
Z Z
3 1 1
θ(t)t− 2 dt ≤ t 2 dt = B(x 2 − 2 2 ) ≤ B x
2 2 2 2

Obteniendo así x √
Z
1 1 3
θ(x) √ + θ(t)t− 2 dt ≤ 2B x
t 2 1

Obteniendo así lo que nos pedían.