[see also: mistake
The equations are satisfied with error at most O(n).
The saddle-point conditions are satisfied up to an error o(n).
We take this opportunity to correct a minor error in Lemma 2 of [PS].
Unfortunately, there is a simple but serious error in the final step of the proof.