Proof of `The Bernstein index is the index of compactness` (2nd statement)
What this proof establishes
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
The growth rate converges almost everywhere to , and is almost everywhere the infimum of the almost-sure values of the .