This is an asymmetrically almost-subadditive sequence. The limit must be allowed to take the value ; the stated hypotheses alone do not imply a finite real limit. Define
Fix , and write with . Repeatedly apply the given inequality with the first summand equal to . Induction gives
For fixed , there are only finitely many possible residual terms , so division by and passage to the upper limit yield
This holds for every , and therefore the upper limit is at most . If is finite, its definition also gives , so the lower limit is at least because . If , the upper bound by every makes the upper limit directly. Thus in both cases
In particular,
When this inequality is interpreted in the extended-real sense. For example, and satisfy the assumptions but have normalized limit . A finite-limit assertion would need an additional lower linear bound.

Articles by others on the same topic (0)

There are currently no matching articles.