|
|
A095281
|
|
Upper Wythoff primes, i.e., primes in A001950.
|
|
3
|
|
|
2, 5, 7, 13, 23, 31, 41, 47, 73, 83, 89, 107, 109, 149, 151, 157, 167, 191, 193, 227, 233, 251, 269, 277, 293, 311, 337, 353, 379, 397, 421, 431, 439, 463, 479, 523, 541, 547, 557, 599, 607, 617, 641, 659, 683, 691, 701, 709, 719, 727, 733, 743
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
Contains all primes p whose Zeckendorf-expansion A014417(p) ends with an odd number of 0's.
|
|
LINKS
|
|
|
PROG
|
(Python)
from math import isqrt
from itertools import count, islice
from sympy import isprime
def A095281_gen(): # generator of terms
return filter(isprime, ((n+isqrt(5*n**2)>>1)+n for n in count(1)))
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|