まず条件式から
　16(c+ab/2)^2
　　= (8-aa-bb)^2 - (aa-bb)^2 + 16(aa+bb+cc+abc-4)
　　≦ (8-aa-bb)^2,
∴　c ≦ (8-aa-bb-2ab)/4 = {8 - (a+b)^2}/4,　････ @'

上の@'を変形すると
4(2+abc-ab-bc-ca) =
　= (a-b)^2 + {8 - (a+b)^2 - 4c} + 4c(1-a)(1-b）≧ 0,