Here , so the least power of two exceeding it is . The continued fraction is
whose convergents begin
The only nontrivial convergent with denominator below is , and indeed
The uniqueness result therefore gives
As a check, , while and , so the order is exactly six.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.