the second order continued fraction expansion of an irrational number and the distance to its closest integer Let $u$ be a posive irrational number and let
$$u=a_0+ \frac{1}{a_1+\frac{1}{a_2  \cdots} }$$
be its continued fraction expansion.
Consider the second-order finite continued fraction expansion of $u$:
$\frac{p_2}{q_2}:=a_0+ \frac{1}{a_1+\frac{1}{a_2}}$ with $p_2$ and $q_2$ being positive coprime integers.
I wonder if we have the following inequality and how to prove it:
$$|p_2-q_2 u|<\|u\|,$$
where $\|u\|$ denotes the distance from $u$ to its nearest integer.

Please also note that I am not asking how to prove $|\frac{p_2}{q_2}-u|<\|u\|$, which is simpler.

If the above is true (I have verified it with many examples), please feel free to use any very basic properties of continued fractions to prove it.
But please do not use any general fact about the optimality of the rational approximation with continued fractions to prove this because I actually want to use the above fact as one of the steps to prove optimality of the rational approximation with continued fractions.

cannot comment but some clarification would be fitting;
What is meant by ||[blah]|| in this context (supposing uϵ[blah]), or more to the point Why/how would it be equal to n minus [blah] given $nϵ{N},0<|u|<1$?
