Assertion list
infinite series (subgroup of series ) → IsA
Results from Ascent++: 1
infinite series → IsA → convergent 0.68