For x to be such a number is equivalent to x being an kth root of unity for some k up to 2012. For each k, there are φ(k)primitivek {th }}rootsofunity,sothetotalnumberofrootsis∑k=12012φ(k). We will give a good approximation of this number using well known facts about the Möbius function, defined by μ(n)={0(−1)r if n is not squarefree if n has r distinct prime factors. .Itturnsoutthatiff(n)=∑d∣ n} g(d),theng(n)=∑d∣ n} μ(d)f(dn).Usingthisfact,sincen=∑d∣ n} φ(d),wehavethatφ(n)=∑d∣nμ(d)dn. Now we have reduced the problem to estimating ∑k=12012∑d∣ k} μ(d)dk.Leta=dk,soweobtain∑k=12012∑d∣kaμ(d). We can interchange the order of summation by writing d=1∑2012a=1∑⌊d2012⌋aμ(d)≈d=1∑2012μ(d)21(⌊d2012⌋)2≈d=1∑2012μ(d)2d220122=220122d=1∑2012d2μ(d)≈220122d=1∑∞d2μ(d) The Möbius function also satisfies the property that ∑d∣ n} μ(d)={10 if n=1 otherwise , which can be seen as a special case of the theorem above (letting f(n)=1, g(n)={10 if n=1 otherwise ).Wecanthenseethat(∑d=1∞d2μ(d))(∑c=1∞c21)=121=1, so ∑d=1∞d2μ(d)=π26.Therefore,wehave∑k=12012φ(k)≈π23⋅20122= 1230488.266... 2012 is large enough that all of our approximations are pretty accurate and we should be comfortable perturbing this estimate by a small factor to give bounding values.