|
| |
|
|
A054770
|
|
Numbers that are not the sum of distinct Lucas numbers 1,3,4,7,11 ... (A000204).
|
|
9
| |
|
|
2, 6, 9, 13, 17, 20, 24, 27, 31, 35, 38, 42, 46, 49, 53, 56, 60, 64, 67, 71, 74, 78, 82, 85, 89, 93, 96, 100, 103, 107, 111, 114, 118, 122, 125, 129, 132, 136, 140, 143, 147, 150, 154, 158, 161, 165, 169, 172, 176, 179, 183, 187, 190, 194, 197, 201, 205, 208, 212
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 1,1
|
|
|
COMMENTS
| Alternatively, Lucas representation of n includes L_0 = 2. - W. F. Lunnon (fred(AT)cs.may.ie), Aug 25, 2001
|
|
|
FORMULA
| a_n = [((5+sqrt(5))/2)n]-1 (conjectured by David W. Wilson; proved by Ian Agol (iagol(AT)math.ucdavis.edu), Jun 08, 2000)
|
|
|
MAPLE
| A054770 := n -> floor(n*(sqrt(5)+5)/2)-1;
|
|
|
PROG
| (PARI) a(n)=floor(n*(sqrt(5)+5)/2)-1
|
|
|
CROSSREFS
| Cf. A003263, A003622, A022342. Complement of A063732.
Sequence in context: A184869 A047276 A171639 * A184745 A113689 A190707
Adjacent sequences: A054767 A054768 A054769 * A054771 A054772 A054773
|
|
|
KEYWORD
| nonn,easy
|
|
|
AUTHOR
| Antreas P. Hatzipolakis (xpolakis(AT)otenet.gr), May 28 2000
|
|
|
EXTENSIONS
| More terms from James A. Sellers (sellersj(AT)math.psu.edu), May 28 2000
|
| |
|
|
