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

Мат. general-recursive inequality