[xanderlewis]

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

You mean for rational r, don’t you?

[tzs]

Yup!