The OEIS is supported by the many generous donors to the OEIS Foundation. Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A001954 a(n) = floor((n+1/2)*(2+sqrt(2))); winning positions in the 2-Wythoff game. (Formerly M3774 N1539) 9
 1, 5, 8, 11, 15, 18, 22, 25, 29, 32, 35, 39, 42, 46, 49, 52, 56, 59, 63, 66, 69, 73, 76, 80, 83, 87, 90, 93, 97, 100, 104, 107, 110, 114, 117, 121, 124, 128, 131, 134, 138, 141, 145, 148, 151, 155, 158, 162, 165, 169, 172, 175, 179, 182, 186, 189, 192, 196, 199 (list; graph; refs; listen; history; text; internal format)
 OFFSET 0,2 COMMENTS Winning positions in the 2-Wythoff game, the u-pile in Connell's nomenclature; v-pile numbers in A001953. Let s(n) = zeta(3) - Sum_{k=1..n} 1/k^3.  Conjecture:  for n >=1, s(a(n)) < 1/n^2 < s(a(n)-1), and the difference sequence of A049473 consists solely of 0's and 1, in positions given by the nonhomogeneous Beatty sequences A001954 and A001953, respectively. - Clark Kimberling, Oct 05 2014 REFERENCES N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence). N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence). LINKS T. D. Noe, Table of n, a(n) for n = 0..10000 Ian G. Connell, A generalization of Wythoff's game, Canad. Math. Bull. 2 (1959) 181-190 J. N. Cooper and A. W. N. Riasanovsky, On the Reciprocal of the Binary Generating Function for the Sum of Divisors, 2012; J. Int. Seq. 16 (2013) #13.1.8 N. J. A. Sloane, Families of Essentially Identical Sequences, Mar 24 2021 (Includes this sequence) FORMULA a(n + 1) - a(n) is either 3 or 4. Note the comment regarding some intervals in the complement (A001953). - Ralf Steiner, Oct 27 2019 MAPLE seq( floor((2+sqrt(2))*(2*n+1)/2), n=0..70); # G. C. Greubel, Dec 20 2019 MATHEMATICA Table[Floor[(n + 1/2) (2 + Sqrt)], {n, 0, 100}] (* T. D. Noe, Aug 17 2012 *) Complement[Range, Table[Floor[Sqrt[2*n*(n + 1)]], {n, 0, 300}]] (* Ralf Steiner, Oct 27 2019 *) PROG (PARI) a(n)=floor((n+1/2)*(2+sqrt(2))) (MAGMA) [Floor((2+Sqrt(2))*(2*n+1)/2): n in [0..70]]; // G. C. Greubel, Dec 20 2019 (Sage) [floor((2+sqrt(2))*(2*n+1)/2) for n in (0..70)] # G. C. Greubel, Dec 20 2019 CROSSREFS Complement of A001953. Bisection of A003152. Sequence in context: A352623 A314389 A118520 * A006620 A176628 A314390 Adjacent sequences:  A001951 A001952 A001953 * A001955 A001956 A001957 KEYWORD nonn AUTHOR EXTENSIONS More terms from Michael Somos, Apr 26 2000 New name from Hugo Pfoertner, Dec 27 2021 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified July 7 02:44 EDT 2022. Contains 355141 sequences. (Running on oeis4.)
{"ft_lang_label":"__label__en","ft_lang_prob":0.60258615,"math_prob":0.92263675,"size":2539,"snap":"2022-27-2022-33","text_gpt3_token_len":1053,"char_repetition_ratio":0.09980276,"word_repetition_ratio":0.035794184,"special_character_ratio":0.51319414,"punctuation_ratio":0.26817447,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9693867,"pos_list":[0,1,2],"im_url_duplicate_count":[null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-07-07T07:53:32Z\",\"WARC-Record-ID\":\"<urn:uuid:c77baab1-e17e-449d-be7b-347d8c26d736>\",\"Content-Length\":\"19865\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:ec500687-6404-40ea-9503-0c04be93df90>\",\"WARC-Concurrent-To\":\"<urn:uuid:4514c15d-9ea6-4331-896e-3b763cb14679>\",\"WARC-IP-Address\":\"104.239.138.29\",\"WARC-Target-URI\":\"https://oeis.org/A001954\",\"WARC-Payload-Digest\":\"sha1:EW47OEUBKWGF46D5DP7XEN7CQ3LMLDTL\",\"WARC-Block-Digest\":\"sha1:JK7JEMLOD4IH3STJOXQG3Z636I2OU7QP\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-27/CC-MAIN-2022-27_segments_1656104683708.93_warc_CC-MAIN-20220707063442-20220707093442-00511.warc.gz\"}"}