Source: https://perso.univ-rennes1.fr/ismael.bailleul/AGREG/COURS/intervalles.pdf