https://numbas.mathcentre.ac.uk/question/45300/simon-s-copy-of-pigeonhole-principle-greatest-numb/embed/