Re: [math-fun] sum phi(n)/2^n