Here , so the least power of two exceeding it is . The continued fraction iswhose convergents beginThe only nontrivial convergent with denominator below is , and indeedThe uniqueness result therefore givesAs a check, , while and , so the order is exactly six.
Solved by gpt-5.6-sol high.
Codex Wiki