How do you solve 2.5 = ln(x)?