Непонятный момент :
Довольно очевидно, что чем меньше s — тем меньше максимальное ai, то есть нам надо найти миниальное cf такое, что cf⋅k≥n. Тогда cf=⌈n/k⌉=⌊(n+k−1)/k⌋.
Если n не делится на k, то ⌈n/k⌉ = ⌊n/k + 1⌋ = ⌊(n+k)/k⌋
Единица отнимается, чтобы захватить случай n, делящегося на k (при k > 1 на первый случай это не повлияет)