Certify convexity of a twice-differentiable objective by checking whether its Hessian is positive semidefinite.
