Асимптотика гипергеометрических последовательностей

Определение:

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

Лемма:

Пусть последовательность [math]\alpha_0,\alpha_1...[/math]

Доказательство:

[math]\triangleright[/math]

доказательство (необязательно)

[math]\triangleleft[/math]