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:
 * $\map \phi {523} > \map \phi {524} > \map \phi {525}$