Source: https://www-fourier.ujf-grenoble.fr/~edumas/IrrationaliteE.pdf