>>489,>>491はシュールな会話だな。
「loglogじゃないか」というツッコミは鋭いが、「loglogの何か？」
が示されていない。
正確に何を引けばいいかはメルテンスの定理から分かる。
https://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%AB%E3%83%86%E3%83%B3%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86
収束する数は、Meissel–Mertens定数として知られる。