Ascent++
Search
infinite series
subgroup of
series
,
1
assertions
IsA
1
convergent
0.68