Challenge n° 42 de Math-OS - Une minoration explicite de l'écart entre la racine carrée de 2 et tout nombre rationnel positif.