 Every binary tree with n leaves has height at least log2 n , with equality when n is a power of two and the tree is a complete binary tree . Relatedly , the Strahler number of a river system with n tributary streams is at most log2 n + 1 . 
