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