Priority Queue Lower Bound