every even number n ≥ 4 is the sum of at most 4 primes. In 1924, Hardy and Littlewood showed under the assumption of the generalized Riemann hypothesis...