Assertion list for term "tend to zero".
Results from Ascent++: 2
limit → CapableOf → tend to zero 0.25
sequence → CapableOf → tend to zero 0.25