A Canadian Problem
I am leaving this one out there for the mathematicians to verify that my method is sufficient for this proof, ignoring my minor errors. I actually struggled through many factorial expressions before finally arriving at this reasoning.