I am talking about this in a course I am teaching, and hence am wondering: what are the various derivations of the values of Riemann zeta function at even integers? There are two incredibly cool proofs in Don Zagier's paper (section 1), but there must several other proofs floating around. Also, I recall reading that Euler originally proved the formula for $\zeta(2)$ by thinking of $\sin(x)$ as a polynomial -- has this argument been made rigorous since?

**EDIT** I did not realize that this was known as the "Basel Problem", so did not find @Yemon's answer myself. I conjecture, however, that the Robin Chapman list is incomplete, since I have found yet another proof, not contained in Robin's list, so maybe there are more yet out there...