I think that's what he meant; round up (not down) because the next correction term in the series is positive. 72 is better (mentally) than 70 or 74 because it

I think that's what he meant; round up (not down) because the next correction term in the series is positive. 72 is better (mentally) than 70 or 74 because it has more divisors.