%I #18 Aug 02 2024 11:39:01
%S 5,4,7,4,5,7,0,3,8,5,6,7,2,4,0,0,4,3,4,4,6,1,6,2,7,7,5,8,3,9,4,6,5,2,
%T 1,9,6,8,9,4,8,6,0,3,6,4,5,8,2,5,5,9,7,8,7,9,6,5,8,6,0,5,2,9,0,4,9,0,
%U 4,2,0,5,3,4,9,1,2,8,3,9,5,6,2,5,8,5
%N Decimal expansion of the least positive solution of cos(x) - sin(x) = 1/3.
%F Equals arctan((9 - sqrt(17))/8). - _Vaclav Kotesovec_, Jul 01 2024
%e 0.54745703856724004344616277583946521968948603645825597879...
%t f = FindRoot[Cos[ x] - Sin[ x ] == 1/3, {x, {0, 2}}, WorkingPrecision -> 500][[1, 2]][[1]]
%t RealDigits[f][[1]]
%Y Cf. A197291, A372955, A374407, A374408, A372958, A372959.
%K nonn,cons
%O 0,1
%A _Clark Kimberling_, Jul 01 2024