Comment by guimplen

The proof that e is irrational is very simple, follows from its famous expansion as a sum of inverse factorials. Non-algebraicity is a can of worms though.