[math-fun] Divisor problem