1 ≤ M ≤ N 을 만족하며, 각각 i = 0, ..., M-1에 대하여 K[i] 이다. 모든 K[i] 값들의 총합은 N을 넘을 수 있다.

에서

"에 대하여 K[i] 이다"를 

"에 대하여 1 ≤ K[i] ≤ N 이다"로 바꿔야 할 듯 합니다.