Demostrar que, para cualquier par de enteros positivos $k$ y $n$, existen $k$ enteros positivos $m_1, m_2,\ldots, m_k$ (no necesariamente distintos) tales que
\[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).\]
Sea $n$ un entero positivo y sean $a_1,\ldots,a_k$ ($k\geq 2$) enteros distintos del conjunto $\{1,\ldots,n\}$, tales que $n$ divide a $a_i(a_{i+1}-1)$, para $i=1,\ldots,k-1$. Demostrar que $n$ no divide a
$a_k(a_1-1)$.