Source: https://webusers.imj-prg.fr/~michel.waldschmidt/articles/pdf/math_explosion2013GreenTao.pdf