Условие:
Пусть в двоичную кучу добавили

Пусть в двоичную кучу добавили
Рассмотрим двоичную кучу, которая является почти полным двоичным деревом. Будем доказывать утверждение индукцией по h.
База индукции (h = 0). Вершины с высотой 0 – это листья кучи. Известно, что в любом двоичном дереве количество листьев не превосходит ⌈n/2⌉ (поскольку у каждого внутреннего узла может быть не более двух детей, а почти полное дерево обладает свойством: почти половина вершин – листья). Следовательно, утверждение выполняется для h =
0.
Переходный шаг. Пусть для некоторого h ≥ 0 доказано, что количество вершин с высотой h не более ⌈n/2^(h+1)⌉. Те...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение