Commit 2025-07-25 15:58 7e1a2b8b
View on Github →feat: summability results (#27123)
- If a real function is summable, then its sum in ENNReal is finite.
- For a real function
fwithi <= f iandc < 0,Summable fun i ↦ exp (c * f i)
feat: summability results (#27123)
f with i <= f i and c < 0, Summable fun i ↦ exp (c * f i)