expand, you get 1 + x + y + z + xy + yz + zx + xyz = 8
using the fact (for numbers >= 0) a + b >= 2sqrt(ab) for each pair of eg. x and yz we get:
6sqrt(xyz) + xyz =< 7
let sqrt(xyz) = a, then we have
a2 + 6a - 7 <= 0
(a+7)(a-1) <= 0
as a is positive, a =< 1 for this to be true
so sqrt(xyz) =< 1
xyz =< 1