>>146
奇素数pを任意に固定する。
f(0)=0 とし、 0 でない整数 n = m・p^k (mはpと互いに素な整数) に対して f(n) の値を
2n/(p^3) (kが4で割って3余る時)
pn (それ以外)
と定めれば、f は満たすべき性質を満たす。
また、奇素数 p は任意であったから、一意的ではない。