Problem:
For a positive integer , let denote the number of positive integers less than and relatively prime to . Let , where runs through all positive divisors of . Find the largest positive integer such that is an integer.
Problem:
For a positive integer , let denote the number of positive integers less than and relatively prime to . Let , where runs through all positive divisors of . Find the largest positive integer such that is an integer.
Solution:
Answer: 996
The function is the well-known Euler totient function which satisfies the property
for any integer . Note that the problem defines .
For any , the number has factors, each of which takes the form where . Since depends only on the prime factors of , we partition this set of factors into 8 forms with the same value for .
| form of | number of such 's | contribution to the sum | ||
|---|---|---|---|---|
| 1 | 1 | 1 | 0 | 0 |
| 2 | ||||
| 3 | ||||
| 4 | ||||
| 5 | ||||
| 6 | ||||
| 7 | ||||
| 8 |
Hence, the problem wants us to find the largest so that , or equivalently, , , and . Observe that
- , which is 0 iff is even.
- , which is 0 iff or
- , which is 0 iff , or .
The numbers 999 and 997 are not even. . 996 is even, , and . Therefore, the answer is 996.