Van der Corput inequality (source code)

= Van der Corput inequality
{wiki=Van_der_Corput_inequality}