Sea a un número real.