平方数の逆数の和は、円周率^2/6になる。
誰か証明して。
300年前にできてたんだから、今なら余裕でしょ?