Independent sets in regular graphs and sum-free subsets of finite groups

It is shown that there exists a function∈(k) which tends to 0 ask tends to infinity, such that anyk-regular graph onn vertices contains at most 2(1/2+∈(k))n independent sets. This settles a conjecture of A. Granville and has several applications in Combinatorial Group Theory.