{King(1)+King(1)+....+King(n)}/n ≧ {King(1)*King(2)*...*King(n)}^(1/n)