Write down a pseudo code for deleteMax(p) of a max heap.

Prove that the heap saisies the heap property when your algorithm terminates. Also show that it runs in O(logn) time where n is the current number of elements in the heap.