An alignment like this?

\documentclass{amsart}
\begin{document}
\begin{align*}
f(x_4) &= (x_4 - x_1) + (x_4 - x_2) + (x_4 - x_3) + \sum_{i=5}^8 (x_i - x_4) \\
&= \bigl[(x_4 - x_3) + (x_3 - x_1)\bigr] + \bigl[(x_4 - x_3) + (x_3 - x_2)\bigr] + (x_4 - x_3) \\
&\quad+ \sum_{i=5}^8 \bigl[(x_i - x_3) - (x_4 - x_3)\bigr] \\
&= (x_3 - x_1) + (x_3 - x_2) - (x_4 - x_3) + \sum_{i=5}^8 (x_i - x_3) \\
&< (x_3 - x_1) + (x_3 - x_2) + \sum_{i=4}^8 (x_i - x_3) \\
&< \sum_{i=1}^8 \vert x_i - x_3 \vert \\
&= f(x_3)
\end{align*}
\end{document}
Or as suggested by Thruston in the comments, with a \qquad
instead of the \quad
.

Or as suggested by Enrico, with (x_4-x_3)
also moved to the next row.

\documentclass{amsart}
\begin{document}
\begin{align*}
f(x_4) &= (x_4 - x_1) + (x_4 - x_2) + (x_4 - x_3) + \sum_{i=5}^8 (x_i - x_4) \\
&= \bigl[(x_4 - x_3) + (x_3 - x_1)\bigr] + \bigl[(x_4 - x_3) + (x_3 - x_2)\bigr] \\
&\quad + (x_4 - x_3)+ \sum_{i=5}^8 \bigl[(x_i - x_3) - (x_4 - x_3)\bigr] \\
&= (x_3 - x_1) + (x_3 - x_2) - (x_4 - x_3) + \sum_{i=5}^8 (x_i - x_3) \\
&< (x_3 - x_1) + (x_3 - x_2) + \sum_{i=4}^8 (x_i - x_3) \\
&< \sum_{i=1}^8 \vert x_i - x_3 \vert \\
&= f(x_3) ,
\end{align*}
\end{document}
Another try after clarifications in the comments:

\documentclass{amsart}
\begin{document}
\begin{align*}
f(x_4) &= (x_4 - x_1) + (x_4 - x_2) + (x_4 - x_3) + \sum_{i=5}^8 (x_i - x_4) \\
&= \bigl[(x_4 - x_3) + (x_3 - x_1)\bigr] + \bigl[(x_4 - x_3) + (x_3 - x_2)\bigr]+ (x_4 - x_3) \\
&\phantom{{}=(x_4} + \sum_{i=5}^8 \bigl[(x_i - x_3) - (x_4 - x_3)\bigr] \\
&= (x_3 - x_1) + (x_3 - x_2) - (x_4 - x_3) + \sum_{i=5}^8 (x_i - x_3) \\
&< (x_3 - x_1) + (x_3 - x_2) + \sum_{i=4}^8 (x_i - x_3) \\
&< \sum_{i=1}^8 \lvert x_i - x_3 \rvert \\
&= f(x_3)
\end{align*}
\end{document}
\lvert
and\rvert
, rather than\vert
.\lvert
and\rvert
to\vert
?f(x_{4})
would not be appealing.\vert
is an ordinary one.