An arithmetic–geometric mean inequality for singular values and its applications