если есть два сына c размерами 1 и inf, то ответ inf + 1 = n - 1 + 1 (т.к. n = inf + 2)
значит ответ - это максимальное плюс один.
Оценка:
Если мы выберем все это поддерево, то получили контрпример на все меньшие ответы.
Пример:
А то, что наш достижим, понятно: эти вершины попали хотя бы в два различных поддерева. А значит их LCA будет корень.