Let $S=\{0,1,2,3,\cdots,10^{2017}+2005\}$. Let $f:S\to S$ be a function that satisfies \[f^{2017}(x)=\underbrace{f\circ f\circ f\circ\cdots\circ f(x)}_{2017}=x\]
Prove that there exists $T\subseteq S$ of $2016$ elements such that $\forall x\in T, f(x)=x$.
There are at least 2016 fixed points of the function
- Anindya Biswas
- Posts:264
- Joined:Fri Oct 02, 2020 8:51 pm
- Location:Magura, Bangladesh
- Contact:
"If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is."
— John von Neumann
— John von Neumann