lowering bound