# Totient summatory function

Let  be a positive real number. The totient summatory function of  is defined as:

where  is the Euler phi-function.