mathlib

e148db04 - Do we have the comparison test for series convergence?