First Sequence of Three Consecutive Strictly Decreasing Euler Phi Values

Theorem
The first sequence of $3$ consecutive positive integers whose Euler $\phi$ values are strictly decreasing is:
 * $\phi \left({523}\right) > \phi \left({524}\right) > \phi \left({525}\right)$