Тут важно упомянуть, что

, то есть представления

рассматриваются с точностью до порядка сомножителей, а сами сомножители большие 1.
Утверждение легко следует из наблюдения, что

равен коэффициенту при

в следующем формальном ряде Дирихле (от формальной переменной

):

Отсюда:
