本文證明了 Wilber 上下界在序列組合操作下具有良好的性質,並利用此性質構造了能更優地分離這兩個上下界的序列,從而證明了 Tango 樹在基於 Wilber 下界的所有二元搜尋樹演算法中具有最優性。