[PP_nine]

เป็นฟังก์ชันเลขคณิตตัวหนึ่ง นิยามโดย

$\phi (n)=$ จำนวนของจำนวนนับ $k$ ซึ่ง $1 \le k \le n$ และ $(k,n)=1$

ถ้าเขียน $n=p_1^{a_1}p_2^{a_2} \cdots p_k^{a_k}$ เป็นการเขียนในรูปแบบบัญญัติแล้ว

$$\phi (n)=n \Big( 1-\frac{1}{p_1} \Big) \Big( 1-\frac{1}{p_2} \Big) \cdots \Big( 1-\frac{1}{p_k} \Big)$$