drichlet-box

A function that returns the hole index for the numbered pigeon (in Pigeonhole Principle lingo).