Text this: Monotonicity, Convexity, and Inequalities Involving the Agard Distortion Function