Sea a un número real positivo.