A maior potência de 2 que divide o produto $1\times 2\times \cdots \times 2023\times 2024$ é $2^{2017}$. Qual é a maior potência de 2 que divide o produto $1\times 2\times \cdots \times 4047\times 4048$?