| # | User | Rating |
|---|---|---|
| 1 | tourist | 3993 |
| 2 | jiangly | 3743 |
| 3 | orzdevinwang | 3707 |
| 4 | Radewoosh | 3627 |
| 5 | jqdai0815 | 3620 |
| 6 | Benq | 3564 |
| 7 | Kevin114514 | 3443 |
| 8 | ksun48 | 3434 |
| 9 | Rewinding | 3397 |
| 10 | Um_nik | 3396 |
| # | User | Contrib. |
|---|---|---|
| 1 | cry | 167 |
| 2 | Um_nik | 163 |
| 3 | maomao90 | 162 |
| 3 | atcoder_official | 162 |
| 5 | adamant | 159 |
| 6 | -is-this-fft- | 158 |
| 7 | awoo | 156 |
| 8 | TheScrasse | 154 |
| 9 | Dominater069 | 153 |
| 10 | nor | 152 |
Confusion regarding a property of Euler's Totient Function
I was trying to solve this(LightOJ 1370) problem. When I failed to come up with a memory efficient solution, I looked at some AC solutions.
Interestingly, the solutions used a property that states that the minimum number that has a phi value greater than or equal to a given number, must be the first prime number greater than the given number. For example, For 20, the answer is 23. I am looking for a proof of this property.
| Rev. | Lang. | By | When | Δ | Comment | |
|---|---|---|---|---|---|---|
| en6 |
|
Aritra741 | 2020-09-05 10:12:39 | 14 | Tiny change: 'htOJ-1370) prob' -> 'htOJ-1370)(LightOJ 1370) prob' | |
| en5 |
|
Aritra741 | 2020-09-04 16:17:45 | 182 | ||
| en4 |
|
Aritra741 | 2020-09-04 15:16:52 | 182 | ||
| en3 |
|
Aritra741 | 2020-09-04 14:26:23 | 7 | Tiny change: 'ing for a formal proof of ' -> 'ing for a proof of ' | |
| en2 |
|
Aritra741 | 2020-09-04 14:24:40 | 3 | Tiny change: 'solutions. \nInteres' -> 'solutions.\n \nInteres' | |
| en1 |
|
Aritra741 | 2020-09-04 14:21:47 | 523 | Initial revision (published) |
