I was just reading this (http://condor.depaul.edu/ntomuro/courses/417/notes/lecture1.html) paper which proves the minimum number of nodes in an AVL-Tree. Yet, I do not understand the meaning of the result, since O(log n) is not referring to the number of nodes at all. How can this be a prove? I do however understand the first steps and how the iterations are simplified. But after the 4th step I am failing to understand what he is exactly doing (even though I can vaguely imagine). Could anybody please explain to me, what the last few lines are proving and how he is simplifying expressions at the end of part 1?
Thanks