>>214

楕円曲線論を使って発見したそうですが、そういう比較的高度な理論がこういう
具体的な等式の発見に使われるというのが面白いですね。