Van der Corput inequality

ID: van-der-corput-inequality

New to topics? Read the docs here!