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