\(\mathcal T\)eorema de los números primos

 A nivel local, la distribución de los números primos dentro de los enteros parece ser errática y caótica. No existe una fórmula polinómica simple que genere exclusivamente números primos, ni un patrón evidente que determine la distancia exacta entre dos primos consecutivos. Sin embargo, cuando adoptamos una perspectiva global y analizamos el comportamiento asintótico de los primos a gran escala, emerge una regularidad matemática de asombrosa armonía.

El estudio de esta regularidad global culmina en uno de los resultados más célebres y profundos de la matemática clásica: el Teorema de los Números Primos (TNP). Conjeturado independientemente por Carl Friedrich Gauss y Adrien-Marie Legendre a finales del siglo XVIII, su demostración rigurosa requirió el desarrollo de la teoría de funciones de variable compleja y no se alcanzó hasta 1896, de la mano de Jacques Hadamard y Charles-Jean de la Vallée-Poussin.

Antes de enunciar el teorema, es necesario formalizar la herramienta matemática que utilizaremos para contar elementos primos.

Definición (Función de conteo de números primos): Para cualquier número real $x > 0$, se define la función $\pi(x)$ como la cantidad de números primos menores o iguales a $x$. Formalmente:

$$\pi(x) = \sum_{p \le x, \, p \in \mathbb{P}} 1$$

Donde $\mathbb{P}$ denota el conjunto de los números primos.

(Nota: $\pi(x)$ es una función escalonada, no continua, cuyos saltos de discontinuidad ocurren precisamente en cada número primo).

Teorema de los números primos La función de conteo de números primos $\pi(x)$ es asintóticamente equivalente a la función $\frac{x}{\ln x}$ cuando $x \to \infty$. Es decir:

$$\lim_{x \to \infty} \frac{\pi(x)}{\frac{x}{\ln x}} = 1$$

Utilizando la notación asintótica usual, escribimos:

$$\pi(x) \sim \frac{x}{\ln x}$$

(Nota: Si bien el cociente de ambos términos tiende a 1, la diferencia absoluta $|\pi(x) - \frac{x}{\ln x}|$ crece de forma ilimitada a medida que $x \to \infty$.)