operator convex, Choi-Davis-Jensen's inequality, operator inequality, Hilbert C*-module, positive map