A singular value inequality for Heinz means

We prove a matrix inequality for matrix monotone functions, and apply it to prove a singular value inequality for Heinz means recently conjectured by Zhan.