Gliding hump argument (source code)

= Gliding hump argument

A gliding hump argument selects a subsequence and successive finite coordinate blocks so that each selected vector has little mass before and after its assigned block. A bounded dual vector can then align its signs independently on those disjoint blocks.