binary-search-master-theorem