The proof of the corollary is just noting that the given non-constant operator monotone function on satisfies . But the book just states that this is true because is monotone. This reason alone is insufficient.
To fix the proof, we apply Theorem V.3.4 to the matrix with . Then the following matrix is positive semi-definite.
As is non-constant, there is some such that . By positive semi-definiteness, and . Hence
This implies that .