ヒープデータ構造について

n 個の要素を持つヒープの、高さ h における節点が n/2^(h+1) 個である、理由がわかりません。

問題文の原文はこちらです：

Show that there are at most ⌈n/2^(h+1)⌉ nodes of height h in any n-element heap.

以下がIntroduction to Algorithms 練習問題6.3-3に対するInstructor's Manual の解説ですが、なぜh=0が正しいからの証明から始まるのか、また＃は何をさしているのかよくわかりません。

もしもっとわかりやすい証明があれば、解説をお願いします。