That is a rather neat solution
I assume you did not understand this:
Try proving
With a little bit of algebra, you will see this is equivalent to,
Which after a little bit of bunching shows clear AM-GM.
EDIT: Actually it directly follows from CS(in a slightly different form)
where and