==> analysis/e.and.pi.s <== e^(pi). Put x = pi/e - 1 in the inequality e^x > 1+x (x>0).