Keyword: american mathematical monthly problem 11262

• AMM11262: Problem 11262 of The American Mathematical Monthly
  Milad Niqui (Coq files), Tonny Hurkens (paper proof)