Euler’s formula for the zeta function at the positive even integers

We give a new proof of Euler’s formula for the values of the Riemann zeta function at the positive even integers. The proof involves estimating a certain integral of elementary functions two different ways and using a recurrence relation for the Bernoulli polynomials evaluated at 12.