ζ(2)=π^2/6もπの無理性も高校レベルの三角関数の計算で証明できるけど。。