Everybody knows that 2 < 3.