values of for which
Within this entry, we use the following notation:
- •
denotes the natural numbers
(positive integers)
- •
- •
denotes a prime
- •
- •
denotes the Euler phi function
- •
denotes the divisor function
- •
denotes divides
- •
denotes exactly divides
Within this entry, we will determine all values of for which .
Define by
Note that is a multiplicative function since both and are. Thus, we will initially focus on the values of at prime powers. We will need specific values of . These are calculated below.
Note that
If is fixed, we can extend this to a continuous function defined by
We investigate the derivative (http://planetmath.org/Derivative) of for :
Thus, for fixed and , is a strictly decreasing function of .
On the other hand, from the equation
it is clear that, if is fixed, is a strictly decreasing function of .
Thus, we have proven the following:
Lemma 1.
Let be a prime and be a nonnegative integer with . Then
with equality holding if and only if .
This lemma has an immediate consequence:
Lemma 2.
Let be an odd natural number. Then
Moreover, if and only if or .
Now we will examine the general case. Let . Then .
Suppose that . Let be an odd natural number with . Thus,
Therefore,
which contradicts the second lemma. Hence, .
Suppose that . Let be an odd natural number with . Then . Thus,
Therefore,
which contradicts the second lemma. Hence, .
Now we deal with the cases that can actually occur.
- •
Case I: is odd
The second lemma immediately applies, yielding or .
- •
Case II: and
Let be an odd natural number with . Then and
Thus,
By the first lemma, for all with ,
with equality holding if and only if . Therefore, . Hence .
- •
Case III: and
Let be an odd natural number with . Then and
Thus,
By the first lemma, for all with ,
with equality holding if and only if . Therefore, . Hence .
- •
Case IV: and
Let be an odd natural number with such that . Then and
Since , the second lemma yields that . Thus,
Therefore,
By the first lemma, . Hence, .
- •
Case V:
Recall that . Thus, there exists an odd natural number with . Then
The second lemma yields that or . Hence, or .
It follows that
This list of numbers appears in the OEIS as sequence http://www.research.att.com/ njas/sequences/A020488A020488.