> To prove that e^r is irrational for irrational r

You mean for rational r, don’t you?