demostrar que la comparación máxima de la construcción de almacenamiento dinámico binario es (2N-2)
Estoy tratando de demostrar que para montones binarios, buildHeap hace a lo sumo (2N-2) comparaciones entre elementos. Me resulta muy difícil probar esta afirmación.