Appendix A Approximation Error Analysis In this section, we provide a complete proof of Theorem 1, quantifying the effect of function embedding of constraints in dual