[math-fun] divisor question