[math-fun] Irrationality of e