Using techniques that show that e and pi are transcendental, we give a short, elementary proof that pi is irrational based on Euler's identity. The proof involves evaluations of a polynomial using repeated applications of Leibniz formula as organized in a Leibniz table.