Convex Sets and Minimal Sublinear Functions

We show that, given a closed convex set K with the origin in its interior, the support function of the set {y ∈ K* ∣ ∃x ∈ K such that xy = 1} is the pointwise smallest sublinear function σ such that K = {x∣σ(x)≤1}.