Operator monotonicity of the square root
= Operator monotonicity of the square root
For bounded positive <self-adjoint operator>[self-adjoint operators], $0\leq A\leq B$ implies $A^{1/2}\leq B^{1/2}$. Thus the nonnegative square-root function is operator monotone.