OFFSET
0,1
FORMULA
Equals arctan((16 - sqrt(31))/15). - Vaclav Kotesovec, Jul 08 2024
EXAMPLE
0.6076875625523365632464335041833354352444603714104010593...
MATHEMATICA
f = FindRoot[Cos[ x] - Sin[ x ] == 1/4, {x, {0, 2}}, WorkingPrecision -> 500][[1, 2]][[1]]
RealDigits[f][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Jul 07 2024
STATUS
approved