結果 : binary search tree time complexity proof