How do you solve 2.5=ln(x)?