van der Corput's inequality, Carleman's inequality, Euler-Maclaurin sum formula, power mean inequality