Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A080350
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A080350 Cost'{e} prime expansion of 1/Pi. +0
2
5, 2, 7, 5, 3, 5, 11, 3, 7, 5, 2, 7, 79, 67, 19, 29, 59, 11, 5, 11, 3, 47, 31, 607, 419, 47, 19, 43, 37, 7, 3, 29, 7, 7, 5, 5, 157, 53, 89, 17, 5, 37, 7, 11, 3, 17, 5, 3, 3, 29, 127, 19, 11, 11, 5, 3, 13, 41, 13, 11, 3, 11, 11, 5, 11, 3, 3, 5, 2, 5, 2, 5, 3, 7, 3, 17, 5, 11, 3, 11, 17, 5, 3, 5 (list; graph; listen)
OFFSET

0,1

COMMENT

For x in (0,1], define P(x) = min{p: p prime, 1/x < p}, Phi(x) = P(x)x - 1. Cost'{e} prime expansion of x(0) is sequence a(0), a(1), ... given by x(n) = Phi(x(n-1)) (n>0), a(n) = P(x(n)) (n >= 0).

REFERENCES

A. Cost'{e} [Coste], Sur un syst`{e}me fibr'{e} li'{e} a la suite des nombres premiers, Exper. Math., 11 (2002), 383-405.

LINKS

A. Cost'{e} [Coste], Sur un syst`{e}me fibr'{e} li'{e} a la suite des nombres premiers, Exper. Math., 11 (2002), 383-405.

MAPLE

Digits := 500: P := proc(x) local y; y := ceil(evalf(1/x)); if isprime(y) then y else nextprime(y); fi; end; F := proc(x) local y, i, t1; y := x; t1 := []; for i from 1 to 100 do p := P(y); t1 := [op(t1), p]; y := p*y-1; od; t1; end; F(1/Pi);

CROSSREFS

Cf. A079385, A079386, A079366-A079368, A080348-A080349.

Adjacent sequences: A080347 A080348 A080349 this_sequence A080351 A080352 A080353

Sequence in context: A088520 A084340 A065925 this_sequence A074454 A141269 A128666

KEYWORD

nonn,easy

AUTHOR

Mark Hudson (mrmarkhudson(AT)hotmail.com), Feb 17 2003

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified October 15 09:18 EDT 2008. Contains 145015 sequences.


AT&T Labs Research