No idea if this is better off on MathOverflow.
A dynamic binary search tree (I assume that it can keep the tree strictly balanced, e.g. red-black, also the BST shall have