Height_Balanced_Tree_Bounds.HBT_Fun