次のように変形できる。次のように変形できる。左辺が発散するため、右辺も発散する。最後に素数の逆数和をプロット。グラフの通り、発散のスピードが非常に遅いことが窺える。素数列の生成などで篩落とす際は、十分に値が増えたとしてももかなり時間計算量を抑えられるであろうことが視覚的に分かる。プロットで用いた値は、自作ライブラリを利用して次のようにして生成した*4。});}グラフは次のように描いた。高校数学の美しい物語*1:調和級数。音楽の高調波という概念から派生してこのように名付けられている。とある通り、これら以外の証明方法がマクローリン型不等式を用いた方法などを含めて、いくつか存在する。割れば良いのだが、グラフの様子は大して変わらないので、速度の向上を図るために近似値でプロットしている。素数の逆数の総和となると図の通り小さい値しか出てこないので、その影響はそこまで酷くもないだろうなどと思いつつ。ラッパーを自作ライブラリの方に実装したものの、ブログに特に書いていなかったのでそのメモ。次のように利用できる。実行結果で差異がないかをチェックすることで行なっている。オブジェクトも同ラッパーで解凍できる(意味はない)。オブジェクトを解凍/閲覧している例。-phello似た機能を同ラッパーで次のように実装できる。オブジェクトは、コード内のコメントにある通りある一定のフォーマットのヘッダが先頭にあるので、それをスキップする。次のように実行できる。おけるバインドとその利用C++私の観測範囲内ではあまり有名で無いようなので発信。行うにはどうすれば良いか。次のようにするにはどうすれば良いか。};しかしこれは意外と単純で、次のようにすれば書ける。純粋関数型プログラミングであるので、バインドのような機能は役立つ場面が多い。与えられたポリシーに従う型でグループ化するといった処理には、次のようにして利用するととても実装が楽だ。これは次のように動作する。