i.e. Find the least integer $B$ such that $4B$ is not in the image of $\phi$. The original problem is to find a $B$ such that $4B$ is not an order for some multiplicative group $\mathbb{Z}^*_{n}$. The answer is $B=17$.
I had read the two reference below.
How to solve the equation $\phi(n) = k$?
Some remarks on Euler’s totient function
But I do not know where to start to tackle this problem.
I suppose it may related to the fact that
if $\gcd(m, n) = 1$, then $\phi(mn) = \phi(m) \phi(n)$.
So we may start with $\phi(5)=4$
But at second thought, if $gcd(m, n) \neq 1$, the there is factor as $gcd(m,n)\over \phi( gcd(m,n) )$, which can had factor of 4.
My qeustion is, besides try and error, is there other way to find $B$ by hand?
First prove that $B=17$ satisfies the requirement, so there is no $n$ with $\phi(n)=68$. As $\phi$ is multiplicative, to get a factor $17$ in $\phi(n)$ you either need $17^2$ dividing $n$, but then you get four factors of $2$ in $\phi(n)$, or a prime of the form $2\cdot 17+1$ or $4 \cdot 17 +1$, but those are not prime. Any higher prime of the form $17k+1$ will give more factors besides $17$ than $4$. Now just show that all smaller B fail by displaying an $n$ with the proper $\phi(n)$. $\phi(5)=4, \phi(16)=8,$ etc. They are not hard to find for small numbers if you think about the link between prime factorization and totient.