Problem

Source: Iranian National Olympiad (3rd Round) 2004

Tags: group theory, number theory proposed, number theory



Let $ p=4k+1$ be a prime. Prove that $ p$ has at least $ \frac{\phi(p-1)}2$ primitive roots.