Sea a un número real positivo cualquiera.