далось создать доказательство, которое показывает, что максимальное количество узлов в дереве равно n = 2 ^ (h + 1) - 1, и логически я знаю, что высота двоичного дерева равна log n (могу нарисовать его) чтобы увидеть) но у меня возникли проблемы с построением формального доказательства, чтобы показать, что дерево с n листьев "по крайней мере" log n. Каждое доказательство, которое я встречал или смог собрать, всегда имеет дело с идеальными бинарными деревьями, но мне нужно что-то для любой ситуации. Любые советы, чтобы привести меня в правильном направлении?