>>95
ζ(2) = π^2/6 だっけ？
見つけたのはオイラーらしいが、なんか名前あるの？

そうや、アルキメデス多面体が13個しかない証明ってどうすればいいんだ？