Hola
La definición y uso de una función máximo entre naturales está bien.
De la misma manera la definición y uso de una función menor (o menor igual) entre naturales, para definir camino. Para cumplir el requerimiento, comparar el natural de la altura en un árbol depediente de este valor es correcto (y eficiente).
Saludos, Carlos