n個の節点を持つ平衡2分木の高さはたかだかlog_nであることは
どうやって示せばよいのでしょうか?