Essayer de démontrer la proposition:

Il n'existe pas de plus petit nombre rationnel strictement positif​