\[\phi\left(n\right)=n\prod_{p\mathbin{|}n}(1-p^{-1}),\]