Gauss's inequality