An integral inequality bounding the autocorrelation of a pulse or sequence at a known lag. Willink, R. — 2002 JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]