Polynomial approximation of quantum Lipschitz functions

We prove an approximation result for Lipschitz functions on the quantum sphere $S_q^2$, from which we deduce that the two natural quantum metric structures on $S_q^2$ have quantum Gromov-Hausdorff distance zero.