Widened fingertree bound