Sea x un irracional positivo.