Assertion list for term "go up to positive infinity".

Results from Ascent++: 1
graph CapableOfgo up to positive infinity 0.27