Разрежьте квадрат

[мат-ламер]

Пусть дан квадрат с целочисленной стороной $m$. Какое максимальное число прямоугольников единичной ширины и длины $n>m/2$ можно вырезать из этого квадрата?

[venco]

(Spoiler)

$\max(2n-m,4n-4m)$

[мат-ламер]

(Оффтоп)

venco в сообщении #345538 писал(а):

(Spoiler)

$\max(2n-m,4n-4m)$

Док-во, вероятно, для знатоков очевидно.