For each positive integer ,define .
(a)Prove that for every there exist consecutive positive integers on which is constant.
(b)Find the maximum possible cardinality of a set of consecutive positive integers on which is strictly increasing and find all sets for which this maximum is attained.
Solution
### Part (a)
1. **Define the function :**
where denotes the least common multiple.
2. Observation:
For any integer , is the least common multiple of the first positive integers. If we consider and , we note that is the least common multiple of the first integers.
3. Key Insight:
If is not a prime number or a power of a prime, then . This is because the least common multiple of the first integers already includes all the prime factors of .
4. **Constructing consecutive integers:**
To find consecutive integers where is constant, we need consecutive integers none of which are primes or powers of primes. For example, consider the sequence starting from :
These numbers are not primes or powers of primes. We can always find such sequences of any length .
5. Conclusion:
For any , there exist consecutive positive integers on which is constant.
### Part (b)
1. Observation:
if and only if introduces a new prime factor or a higher power of an existing prime factor that was not already included in .
2. Strictly Increasing Sequence:
For to be strictly increasing over a set of consecutive integers, each integer in the set must introduce a new prime factor or a higher power of an existing prime factor. This happens when each integer in the set is a prime or a power of a prime.
3. Maximum Cardinality:
The maximum possible cardinality of such a set is 2. This is because if we have three consecutive integers, at least one of them will not be a prime or a power of a prime (since primes and their powers are not consecutive except for the trivial case of 2 and 3).
4. Example Sets:
The sets and are examples where is strictly increasing:
The final answer is for the maximum possible cardinality of a set of consecutive positive integers on which is strictly increasing.