Sequences of Three Consecutive Strictly Increasing Euler Phi Values

Theorem
The following sequences of $3$ consecutive positive integers have the property that their Euler $\phi$ values are strictly decreasing:
 * $\tuple {525, 526, 527}$