n converges. (#10258)

Commit

4 years ago

feat(analysis/subadditive): prove that, if u_n is subadditive, then u_n / n converges. (#10258)

Author

sgouezel

Parents