resolve e^x = y para x
Vamos resolver em ℝ: ex = y
Como o logaritmo só está definido para números estritamente positivos, aplicamos a função ln a ambos os membros, desde que y > 0:
ln(ex) = ln(y)
ⓘ Para x real, ln(exp(x)) = x; quando ln(x) está definido, exp(ln(x)) = x: ln(ex) = x
Solução obtida: x = ln(y)
Vamos resolver para y: y > 0
Solução obtida: y > 0
▶Solução:   { x = ln(y) ; y > 0 }