如何证明数组排序后暴力模拟答案正确？

例如数组元素为{1,1,4,5,1,4}，数组变为{1,1,1,4,4,5}时答案最小