El número $2021$ es fantabuloso. Si para algún entero positivo $m$, alguno de los elementos $\{m,2m+1,3m\}$ es fantabuloso, entonces todos los elementos de dicho conjunto son fantabulosos. ¿Esto significa que el número $2021^{2021}$ es fantabuloso?
Veamos que esto es cierto por inducción fuerte.
Tenemos que $1$ es fantabuloso por el Lema 2. Supongamos que los números del $1$ al $n$ son fantabulosos.
Como $1\leq \left \lfloor \frac{n+1}{2}\right \rfloor \leq n$, entonces $\left \lfloor \frac{n+1}{2}\right \rfloor$ es fantabuloso y, por el Lema 1, $n+1$ es fantabuloso, con lo que la inducción esta completa.
Por lo tanto todos los enteros positivos son fantabulosos, en particular $2021^{2021}$ es fantabuloso.
Como muy bien está demostrado en la solución de arriba, si se puede para cualquiera de estos $3$ valores: $\{n,2n,2n+1\}$, entonces se puede para los $3$.
El remate distinto, es que ahora podemos pensar en binario. Dada la representación en binario de un número, gracias a la propiedad de arriba, yo puedo realizar cualquiera de estas $3$ operaciones:
Eliminar el último dígito de la representación en binario, sin importar si es un $1$ o un $0$.
Agregar un dígito $1$ al final de la representación en binario (aplicar la operación $n\implies 2n+1$).
Agregar un dígito $0$ al final de la representación en binario (aplicar la operación $n\implies 2n$).
De esta manera, notemos que aplicando siempre la primera operación, podemos llegar a tener finalmente un $1$, y luego, vemos la representación en binario de $2021^{2021}$, y en cada momento vemos que nos conviene, si aplicar la segunda o la tercera operación, porque si logramos que sus representaciones en binario sean iguales, entonces el número en decimal será el mismo también. De esta manera, podemos definir el camino para llegar desde un número a cualquier otro que deseamos.