Before revision: The pigeonhole principle states that if n items are contained in m boxes, then at least one box has no fewer than n/m items.
After revision: The pigeonhole principle states that if n items are contained in m boxes, then at least one box has no more than n/m items.