素数計算関数の下限を与える式(その1)

0. 参考文献

https://ikuro-kotaro.sakura.ne.jp/koramu2/17083_c2.htm　スキューズ数

http://ikuro-kotaro.sakura.ne.jp/koramu2/17084_c3.htm スキューズ数(その2)

1.結論

2. すごいこと

リトルウッドの証明した定理、「Li(x)-π(x)は無限に符号を変える」[1]に対して、こっちの近似は符号を変えることはないです。

詳しい説明は明日の分に回します。ただし、ルジャンドル予想が正しいことを前提にしています。