A=\{7,12\}\cup\{8m+3\mid m\in\mathbb{N}\cup\{16m+4\mid m\in\mathbb{N}\}
Source: Serbia JBMO TST 2017
October 6, 2023
number theory
Problem Statement
Positive integer is the -successor of positive integer if there exists a positive integer such that . Let be the set of all positive integers that have at least a -successor, but every -successor does not have -successors of its own. Prove that