[math-fun] Diophantine question