2 appartient à l'intervalle en application du théorème des valeurs intermédiaires, il existe un nombre appartenant à tel que ; de plus la fonction étant strictement croissante, on a :

• pour tout , ,

• et pour tout , , d'où l'unicité de .