A monotonicity property of the -function.