整数論の関数