 Operator monotonicity of logarithm

For positive-definite Hermitian operators,The same statement on supports follows by regularizing with a positive multiple of the identity and taking a limit.