Greedy/Binary Search/Dilworth's theorem