for those who are interested, the above inequality can be easily generalized, i.e. if are non-negative numbers and then:
the proof is the same and is based on AM-GM: let then the inequality becomes: so:
multiplying these inequalities together gives us:
hence: