Sea formula_1 un árbol binario de búsqueda y sean formula_2 y formula_3 sus subárboles, su altura formula_4, es: