Если

, то показатель, с которым 2 входит в разложение числа

на простые множители равен
![$\nu _2(m)= [\frac m2]+[\frac m4]+\dots>\frac m2$ $\nu _2(m)= [\frac m2]+[\frac m4]+\dots>\frac m2$](https://dxdy-02.korotkov.co.uk/f/9/2/a/92a3eae37fcee2761f72913ba0ffc19c82.png)
.
Так как
![$\nu _2(2013)=[\frac {2013}2]+[\frac {2013}4]\dots=2004$ $\nu _2(2013)=[\frac {2013}2]+[\frac {2013}4]\dots=2004$](https://dxdy-04.korotkov.co.uk/f/7/4/f/74fa77437f6c28a59027ba23e2c2db2682.png)
, то должно выполняться неравенство

. Отсюда

,при

.
С другой стороны при

мы можем взять

и получить

.
Если же

, то, так как

, получим, что максимальное значение

(при

) равно

.
Следовательно, максимально возможное значение

, равное 4008, достигается при

.