Suppose line is always above lines and in the range where queries happen. Then never wins. It's dominated. More precisely: if adding to the envelope would create a segment of zero width (the intersection with is to the right of intersection with ), then is useless.
This is the pruning rule. When adding a new line, remove any line that becomes dominated. Only lines survive across the entire algorithm.