La conjetura Erdos-Turán afirma que
Si $A\subset\mathbb{N}$ es tal que $$ \sum_{n\in A} \frac{1}{n} = \infty,$$ entonces $A$ contiene progresiones aritméticas de cualquier longitud.
Me interesa cuando $A$ es el conjunto de todos los números primos . En este caso, sabemos que, a través del teorema de Euler, $$ \sum_{p \text{ prime}} \frac{1}{p} = \infty.$$
Así que tenemos el Teorema de Green-Tao:
La secuencia de números primos contiene progresiones aritméticas arbitrariamente largas.
¿Es el teorema de Green-Tao una consecuencia del teorema de Euler? En otras palabras, ¿en la demostración del teorema de Green-Tao se utiliza el teorema de Euler?