>> the first term in the trajectory under >> s(n)=sigma(n)-n >> which is not larger than its predecessor > "First decrease" would be fine... "First non-increase" would be more accurate.