注意到其实对于每一种服务器需求，可以直接计算出服务器需要的最少数目即为
max(ai,⌈∑aim⌉)\max\left(a_i,\lceil\dfrac{\sum a_i}{m}\rceil\right)
max
(
a
i
,
⌈
m
∑
a
i
⌉
)
。
我想知道是怎么注意到的???能给一个证明吗?
