Euler函数

$ \varphi:\Z\ni n\mapsto|\{m\in\N|m<|n|\land m\bot n\}|\in\Z_{\ge0}