subgradient inequality; operator convex function; operator inequality