Given these definitions, we prove the convergence for the separable case.
we assume the existence of a weight vector u (with ||u|| = 1), δ (> 0), 5 S * c and S * depend on the weight vector at each point, but we omit it from the notation for brevity.