[23N]The vice versa is also true: given \(Aβ β^ n\) a closed convex set, a convex function \(f:β^ nββ\) such that \(A=\{ x:f(x)β€ 0\} \) always exists: For example, you can use \(f=d_ A\), as seen in [19B]βΊβ» in the previous section.