看了好几篇双指针题解都没有讲到正确性证明

有神犇可以证明一下此题双指针不会漏掉最优解吗