Неравенство Турана –Кубилиуса — математическая теорема в вероятностной теории чисел . Она полезна для доказательства результатов о нормальном порядке арифметической функции . [1] : 305–308 Теорема была доказана в частном случае в 1934 году Палом Тураном и обобщена в 1956 и 1964 годах Йонасом Кубилиусом . [1] : 316
Эта формулировка взята из Tenenbaum . [1] : 302 Другие формулировки есть у Narkiewicz [2] : 243 и у Cojocaru & Murty. [3] : 45–46
Предположим, что f — аддитивная комплекснозначная арифметическая функция , и обозначим p как произвольное простое число, а ν — как произвольное положительное целое число. Запишем
и
Тогда существует функция ε( x ), которая стремится к нулю, когда x стремится к бесконечности, и такая, что для x ≥ 2 мы имеем
Туран разработал неравенство, чтобы создать более простое доказательство теоремы Харди–Рамануджана о нормальном порядке числа ω( n ) различных простых делителей целого числа n . [1] : 316 Изложение доказательства Турана имеется в Hardy & Wright, §22.11. [4] Тененбаум [1] : 305–308 дает доказательство теоремы Харди–Рамануджана, используя неравенство Турана–Кубилиуса, и приводит без доказательства несколько других приложений.