Source: https://www.imo.universite-paris-saclay.fr/~thierry.ramond/docs/m206/exercices1.pdf