La exponencial es continua y estrictamente creciente de R sobre (0,+∞); por el teorema de la biyección (Teorema 21.15), para todo y>0 la ecuación ex=y tiene una única solución. Esa solución es el logaritmo neperiano de y, que se escribe lny. Así pues,
para x∈R, y>0:y=ex⟺x=lny.
En particular, ln1=0, lne=1, elny=y y ln(ex)=x.