Может быть разность еще меньше, поскольку

, где асимптотика

достаточно мала (можете в Прахаре посмотреть вывод формулы и оценку остаточного члена, если интегральный логарифм раскладывать в ряд слагаемых вида

, то

можно игнорировать)
Можно тупо отсюда вычислить асимптотику для простых

, подставить и подсчитать, только это немного нудно.
(Оффтоп)
пилите простые

?

Я Вас раскусил
