Upper Bounds on Red Nodes in a Red-Black tree