Modular first Chebyshev function
Definition
Let be a positive real number, be a natural number, and be an integer. The modular first Chebyshev function of , denoted or , is defined as:
,
where the sum is only over the prime numbers less than or equal to .
The is the modular version of the first Chebyshev function.