Maclaurin's inequality