@DanielFischer At the initial check, we say the following: Before the first iteration, we have $i=\lfloor \frac{n}{2} \rfloor$. All the nodes \lfloor \frac{n}{2} \rfloor+1, \lfloor \frac{n}{2} \rfloor$+2,..., n$ are leaves and thus each of them is the root of a trivial max-heap.
Then at the check of maintenance: in order to show that the invariant holds, we notice that the children of the node i have greater numbers of position than i. Therefore, based on the invariant, both of these nodes are roots of max-heaps.