0,1

Table of n, a(n) for n=0..98.

J. Blanck, Exact real arithmetic systems: results of competition, pp. 389-393 of J. Blanck et al., eds., Computability and Complexity in Analysis (CCA 2000), Lect. Notes Computer Science, Springer-Verlag, 2001.

(PARI) cos(cos(cos(1))) \\ Charles R Greathouse IV, Mar 25 2014

Sequence in context: A256596 A173431 A263879 * A154007 A213014 A022962

Adjacent sequences: A085661 A085662 A085663 * A085665 A085666 A085667

cons,nonn

N. J. A. Sloane, Jul 15 2003

approved