AHAHAAHHAH What a ripper. Looks like a bit of multi variable mathematical induction.. if thats the proper term. The inductoin problems I\'m used to only have a single variable; which makes it a bit simpler. I had a bit of trouble trying to get the two damn equations to look like each other, so I\'ll conveniently change the sign from <= to <

Hope u don\'t mind.
prove,
(xyz)^1/3 < (x+y+z)/3
assume x = 1, y = 2, z = 3,
(1.2.3)^1/3 < (1+2+3)/3
1.8 (2dp) < 2
therefore x = 1, y = 2, z = 3 is true
assume x = k, y = l, y = m is true
prove true for x = k+1, y = l+1, y = m+1,
((k+1)(l+1)(m+1))^1/3 < (k+1+l+1+m+1)/3
(klm+kl+km+k+lm+m+1)^1/3 < (k+l+m+3)/3
(k(lm+l+m+1)+l(m+1)+m+1)^1/3 < (k+l+m)/3 + 1
disregard 1, since it becomes insignficant as k,l,m --> infinity
(k(lm+l+m+1)+l(m+1)+m+1)^1/3 < (k+l+m)/3
3.(k(lm+l+m+1)+l(m+1)+m+1)^1/3 < k+l+m
and from that you can see that for,
A = (x+y+z)/3
G = (xyz)^1/3
G < A
for x >= 1, y >=2, z >=3
or whatever......
Its currently 2:03am and I am very sleepy, so I might have boobed somewhere.