The left hand side is the average of (m+1) numbers {a^0,a^1,a^2,...,a^(m)} and the right hand side is the average of m numbers {a^0,...,a^(m-1)}. Since a^m is bigger than all the other numbers, having that present will increase the average. You can instead prove that adding a number greater than the average to any set of (n) numbers will increase the average of the (n+1) numbers.