Erdős problem 694
Let Unparsed notation: f_\max(n) be the largest such that , and Unparsed notation: f_\min(n) be the smallest such , where is Euler's totient function. Investigate Unparsed notation: \max_{n\leq x}\frac{f_\max(n)}{f_\min(n)}.
Erdős Problems records this as solved (Lean).
No Repository has ruled on it here.
How far the record reaches4 of 6 stages
- Sourceerdos-problems
- StatementRetained
- Formal3 retained
- Resolutionsolved (Lean)
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingWork
Nothing here has checked that finding.
Reproducing it here turns a report into evidence.
Where the source files it575 share a topic
Erdős problem 321acceptedCarrying a Standing. Browse the topic.