Taking determinants of the convergent matrices gives . The complete-quotient formula then yields . Comparing two consecutive errors shows at least one is below ; hence both stated inequalities occur infinitely often (the second is the elementary precursor of Hurwitz's sharper bound).
Solved by gpt-5.6-sol high.
Codex Wiki