Abstract:Let $M(x)$ denote the largest cardinality of a subset of $\{n \in \mathbf{N}: n \leq x\}$ on which the Euler totient function $\varphi(n)$ is non-decreasing. We show that $M(x) = (1+O(\frac{(\log\log x)^5}{\log x})) \pi(x)$ for all $x \geq 10$, answering questions of Erdős and Pollack--Pomerance--Treviño. A similar result is also obtained for the sum of divisors function $\sigma(n)$.
What problem does this paper attempt to address?
This paper attempts to solve the problem of the maximum length of a monotonically non - decreasing sequence of the Euler function. Specifically, the author Terence Tao studied the maximum cardinality $\omega(x)$ of the monotonically non - decreasing subset of the Euler function $\varphi(n)$ in the set $\{n\in\mathbb{N}:n\leq x\}$. The main result of the paper is to prove that for all $x\geq10$, $\omega(x)$ satisfies the following asymptotic relationship:
\[
\omega(x)=\left(1 + O\left(\frac{\log\log x}{\log x}\right)^5\right)\frac{x}{\log x}
\]
This result answers the question raised by Erdős and Pollack - Pomerance - Treviño, that is, whether $\omega(x)$ is proportional to the prime number counting function $\pi(x)$. In addition, the paper also gives similar results for the divisor function $\sigma(n)$.
### Main problems and background
1. **Problem definition**:
- Given a finite set of natural numbers $\mathcal{S}$, denote $\omega(\mathcal{S})$ as the cardinality of the largest subset of $\mathcal{S}$ in which the Euler function $\varphi(n)$ is monotonically non - decreasing (or weakly increasing).
- Denote $\omega(x)$ as the cardinality of the largest subset of the interval $[1, x]$ in which the Euler function $\varphi(n)$ is monotonically non - decreasing.
2. **Known results**:
- By the prime number theorem, $\omega(x)\geq\pi(x)\approx\frac{x}{\log x}$.
- Previous research has given an upper bound $\omega(x)\leq(1 - \delta+o(1))\cdot\pi(x)$, where $\delta > 0$ is an absolute constant.
3. **Main contributions**:
- This paper improves the upper bound so that the upper bound of $\omega(x)$ asymptotically matches the lower bound, and the error term is slightly reduced.
- The specific result is:
\[
\omega(x)\leq\left(1 + O\left(\frac{\log\log x}{\log x}\right)^5\right)\frac{x}{\log x}
\]
- This result not only answers Erdős' question, but also provides a more accurate estimate.
### Technical details
1. **Preliminary inequality**:
- By establishing an inequality about weighted multiplicity, it is proved that for any positive rational number $\alpha$, we have:
\[
\sum_{\substack{n\\\varphi(n)/n = \alpha}}\frac{1}{n}\leq1
\]
2. **Main argument**:
- Decompose the interval $[1, x]$ into three parts: the main part $\mathcal{S}_1$, the secondary part $\mathcal{S}_2$ and the exceptional part $\mathcal{E}$.
- Analyze the properties of each part to control their sizes respectively.
- For example, for $\mathcal{S}_1$, it is in the form of $n = mp$, where $m$ is a smooth number and $p$ is a large prime number; for $\mathcal{S}_2$, it is in the form of $n = mpq$, where $p$ is a medium - sized prime number, all prime factors of $m$ are less than $p$, and $q$ is an almost - prime number (a prime number or the product of two prime numbers).
3. **Size of the exceptional set**:
- Prove that the size of the exceptional set $\mathcal{E}$ is: