An inequality of Gauss