Не полностью, но лучшего языка пока никто здесь не придумал. Задача сразу переформулируется аналитически и аналитически же решается. О простых числах вспоминают только когда надо оценить соответствующую тригонометрическую сумму. Это, правда, ключевой момент. Все прочее было известно уже Харди и Литтлвуду.
Я имею в виду, что асимптотический вопрос, конечно, является вопросом по анализу. Но является ли таковым вопрос про все числа сразу? Вопрос про числа до

можно отнести к алгебре. Как, например, классификацию групп порядка 32 с точностью до изоморфизма.