general-recursive inequality

Мат. общерекурсивное неравенство