You are right. We have to use proof by contridiction to prove it : let e^x=a , x and a are rational,x=p/q,we have e=a^q/p,but a^q/p is algebraic number.End.I think this is not easy for most people.