number-theoretic function