Cramer’s conjecture implies twin prime conjecture

Let’s define the quantity G(x):=\sup\{p_{n+1}-p_{n}\mid \frac{p_{n}+p_{n+1}}{2}\le x\}, and assume Cramer’s conjecture. Then K_{m}:=\sup\{\frac{G(x)}{\log^2 x}\mid x>2\}<\infty. Let’s denote by U(n) the event n is 1-central, and by H(n) the event (n-1,n+1) is a couple of twin primes. Then from de Bayes’ theorem, one gets P(H(n))=\frac{P(H(n)\cap U(n))}{P(U(n)/H(n))}=P(H(n)\cap U(n)), since if n is the half sum of a couple of twin primes, then necessarily n is 1-central. But P(H(n)\cap U(n)) is equal to the ratio of the number of quantities 2r_{0}(n) such that n is the half sum of twin primes to the number G(n) as defined above, hence P(H(n))\ge\frac{1}{K_{m}\log^{2} n}. As P(H(n))=\frac{1}{2}\frac{\pi_{2}(n)}{n}, one finally gets \pi_{2}(x)\ge\frac{2x}{K_{m}\log^{2} x}. Hence the assumption of Cramer’s conjecture implies that there are infinitely many twin primes.