[math-fun] Freeman Dyson integer problem