(1/3)(n+8)+(1/3)n <= 1-n