Totient Summatory Function $\Phi(x)$ 는 정수론 함수로, 다음과 같이 정의합니다.
$$ \Phi(x) = \sum_{n \leq x} \phi(n) = \sum_{\gcd(j, k) = 1 \atop 1 \leq j \leq k \leq x} 1 $$$\phi(n)$은 오일러 토션트 함수 , $\gcd(a, b)$는 최대공약수 입니다.
$$ \Phi(x) \sim \frac{1}{2 \zeta(2)} n^{2} O\left( x \ln x \right) $$$\zeta(s)$는 리만 제타함수 , $O(f(x))$는 란다우 표기법 , $\ln x$는 자연로그함수 입니다.
-