How do you solve #2.5 = ln(x)#?