Sejam $n\in \mathbb{N}$ tal que $2^4+2^5+\cdots +2^n=8176$ e $m$ o menor $m\in \mathbb{N}$ tal que $\frac{m!}{\mathrm{2.4.5}\cdots (2m)}\le \frac{1}{6^{2{\log }_{6}40}}$ seja verdadeira. O produto $m.n$ vale