Let (the -th Jordan totient function, and for the Euler phi function), and consider the associated error termWhen , both and are finite, and we are interested in estimating these quantities. We may consider insteadd 1 (d)dk ( 12 - { nd} ), since from [AS] and from the present paper . We show that belongs to an interval of the formwhere as . From a more practical point of view we describe an algorithm capable of yielding arbitrary good approximations of . We apply this algorithm...