operator monotone function