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