J'essaie de prouver qu'un arbre binaire avec nnn nœuds a au plus ⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceilfeuilles. Comment pourrais-je procéder avec l'induction? Pour les personnes qui suivaient la question initiale sur les tas, elle a été déplacée ici