On: To be a better programmer, write little proofs in your head

[mathgradthrow]

Monotone just means order preserving. f is monotone if f(a) >= f(b) whenever a >= b.