mathlib

e50ebde5 - chore(analysis/specific_limits): simplify proof of `cauchy_series_of_le_geometric` (#12215)

chore(analysis/specific_limits): simplify proof of `cauchy_series_of_le_geometric` (#12215) This lemma is identical to the one above except over `range (n + 1)` instead of `range n`. Perhaps it could be removed entirely? I'm not sure what the policy is on breaking changes.