Binary Tree Height Formula