Thanks a lot! This is exactly what I was looking for. BTW, is there an analog in multi-dimension (indicator function of $l_\infty$ ball in \mathbb{R}^d? It seems the optimal way is to take a product of $d$ such approximations....but I'm not sure how to formalize it.