$Fennec$ 在打怪。
他面前有 $N$ 只怪，第 $i$ 个怪的血量为 $H_i$ 。
他可以有两种攻击方式：

1. 普通攻击：将一只怪的血量减少1
2. 特殊技能：将一只怪直接杀死

如果所有怪的血量全部 $\le 0$，那么$Fennec$就获胜了。
请你输出在$Fennec$最多只能使用 $K$ 次特殊技能的情况下， 他的普通攻击次数（不包括特殊技能）的最小值。