AT-OEMO-FED1 2010 Problem 1
Let . Show that for any integer satisfying , there exists no natural number such that is divisible by .
(41st Austrian Mathematical Olympiad, National Competition, part 1, Problem 1)
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.