有名な整数問題に対する美しい公式です。ファイ関数のイメージは素数テストによって１つずつふるいおとしていくイメージ。