2013 국제수학올림피아드 1번문제

임의의 두 양의 정수 $k$, $n$에 대하여, 다음의 성질을 만족하는 (서로 다를 필요는 없는) $k$개의 양의 정수 $m_1$, $m_2$, $\ldots$, $m_k$가 존재함을 증명하여라:\[1+\frac{2^k−1}{n} =\left(1+\frac{1}{m_1}\right)\left(1+\frac{1}{m_2}\right)\cdots\left(1+\frac{1}{m_k}\right).\]
(2013년 7월 23일 콜롬비아, 출처, 4시간 30분동안 3문제)