  We give three proofs of the fact that a smoothly bounded, convex domain in
R^n has smooth defining functions whose Hessians are non-negative definite in a
neighborhood of the boundary of the domain.
