Clock puzzler

Sorry, Mechaniker, “∀ m>2, ∃ n = FLOOR( (m-1)/2 )” still just says “for any number m greater than 2, there is a number n that is less than m”.