A proof of the twin prime conjecture

In this paper, we prove the twin prime conjecture showing that \begin{align} \sum \limits_{\substack{p\leq x\p,p+2\in $\mathbb{P}$}}1\geq (1+o(1))\frac{x}{2$\mathcal{C}$\log^2 x}\nonumber \end{align} where $\mathcal{C}:=\mathcal{C}(2)>0$ fixed and $\mathbb{P}$ is the set of all prime numbers. In particular, it implies \begin{align} \sum \limits_{p,p+2\in $\mathbb{P}$}1=\infty\nonumber \end{align} when we take $x⟶\mathrm{\infty }$ on both sides of the inequality. We start by developing a general method for estimating correlations of the form \begin{align} \sum \limits_{n\leq x}G(n)G(n+l)\nonumber \end{align} for a fixed $1\le l\le x$ and where $G:\mathbb{N}⟶{\mathbb{R}}^{+}$.