%I
%S 7,2,4,6,1,1,3,5,3,7,7,6,7,0,8,4,7,5,7,3,8,9,9,0,4,5,3,5,2,5,6,3,1,7,
%T 8,4,3,4,7,8,6,5,1,0,1,8,3,8,3,9,1,7,1,4,9,5,9,3,9,9,8,6,8,4,8,5,3,3,
%U 5,8,5,6,6,3,2,9,2,0,6,6,5,7,9,6,5,0,4,6,4,9,9,1,2,7,0,7,5,0,1,4,9,1,6,0,0
%N Decimal expansion of the maximum of (1cos(x))/x.
%C The location of the maximum, and more comments, are in A257451.
%H Stanislav Sykora, <a href="/A257452/b257452.txt">Table of n, a(n) for n = 0..2000</a>
%F Equals (1cos(A257451))/A257451.
%e 0.724611353776708475738990453525631784347865101838391714959...
%o (PARI) xmax = solve(x=1,3,x*sin(x)1+cos(x)); a=(1cos(xmax))/xmax
%Y Cf. A257451.
%K nonn,cons
%O 0,1
%A _Stanislav Sykora_, Apr 23 2015
