Is sum Floor[n/k]Phi[k], k=1 to n equal to sum k, k to n