How do you solve lnx=4?