This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A031139 #46 Jul 18 2024 08:52:00 %S A031139 7,8,5,5,3,4,4,6,9,7,8,8,7,8,5,5,3,4,4,6,9,7,8,8,7,8,5,5,3,4,4,6,9,7, %T A031139 8,8,7,8,5,5,3,4,4,6,9,7,8,8,7,8,5,5,3,4,4,6,9,7,8,8,7,8,5,5,3,4,4,6, %U A031139 9,7,8,8,7,8,5,5,3,4,4,6,9,7,8,8 %N A031139 Number of letters in English words for months of year. %C A031139 Period 12: repeat [7, 8, 5, 5, 3, 4, 4, 6, 9, 7, 8, 8]. %C A031139 According to the definition this should strictly speaking be finite: there is no 13th month of the year. But for several reasons we prefer to see this as an infinite periodic sequence. - _M. F. Hasler_, Mar 05 2018 %D A031139 GCHQ, The GCHQ Puzzle Book, Penguin, 2016. See page 60. %H A031139 Time and Date, <a href="http://www.timeanddate.com/calendar/">A Calendar website</a>. %H A031139 <a href="/index/Ca#calendar">Index entries for sequences related to calendars</a>. %H A031139 <a href="/index/Periodic#12">Index to 12-periodic sequences</a>. %H A031139 <a href="/index/Rec#order_12">Index entries for linear recurrences with constant coefficients</a>, signature (0,0,0,0,0,0,0,0,0,0,0,1). %F A031139 From _Elmo R. Oliveira_, Jul 18 2024: (Start) %F A031139 G.f.: x*(7 + 8*x + 5*x^2 + 5*x^3 + 3*x^4 + 4*x^5 + 4*x^6 + 6*x^7 + 9*x^8 + 7*x^9 + 8*x^10 + 8*x^11)/(1 - x^12). %F A031139 a(n) = a(n-12) for n > 12. (End) %e A031139 a(1) = 7 because January has 7 letters. %t A031139 PadRight[{}, 72, {7, 8, 5, 5, 3, 4, 4, 6, 9, 7, 8, 8}] (* or *) %t A031139 Array[StringLength@ DateString[DateObject[{0, Mod[#, 12] + 1, 1, 0, 0, 0}, "Month"], {"MonthName"}] &, 72, 0] (* _Michael De Vlieger_, Feb 25 2018 *) %o A031139 (PARI) A031139(n)=digits(879644355878)[12-n%12] \\ _M. F. Hasler_, Mar 05 2018 %Y A031139 Cf. A089746, A161376, A182495. %K A031139 nonn,word,easy %O A031139 1,1 %A A031139 Dmitri Papichev (Dmitri.Papichev(AT)iname.com)