산술 도함수(arithmetic derivative) $(\cdot)' : \N \to \N_0$는 미분가능한 함수들에 대한 곱의 미분법(product rule)과 유사한 법칙을 만족하도록 양의 정수 위에서 정의된 다음 성질을 만족하는 함수이다. 임의의 소수 $p$에 대하여, $p'... Read more »