But the article was making a strong claim that this was the provably optimal solution. In this case it is, because the objective function (in the way I'm assumi

But the article was making a strong claim that this was the provably optimal solution. In this case it is, because the objective function (in the way I'm assuming they formulated the problem) is convex.