Description: One less than the ceiling of a real number is strictly less than that number. (Contributed by AV, 30-Nov-2018)