Stronger guaranteed bound