cp's OEIS Frontend

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.

A153719 Minimal exponents m such that the fractional part of (Pi-2)^m obtains a maximum (when starting with m=1).

Original entry on oeis.org

1, 2, 3, 4, 5, 39, 56, 85, 557, 911, 2919, 2921, 4491, 11543, 15724, 98040, 110932, 126659
Offset: 1

Views

Author

Hieronymus Fischer, Jan 06 2009

Keywords

Comments

Recursive definition: a(1)=1, a(n) = least number m>a(n-1) such that the fractional part of (Pi-2)^m is greater than the fractional part of (Pi-2)^k for all k, 1<=k
The next such number must be greater than 200000.
a(19) > 300000. - Robert Price, Mar 26 2019

Examples

			a(6)=39, since fract((Pi-2)^39)= 0.9586616565..., but fract((Pi-2)^k)<=0.9389018... for 1<=k<=38; thus fract((Pi-2)^39)>fract((Pi-2)^k) for 1<=k<39 and 39 is the minimal exponent > 5 with this property.
		

Programs

  • Mathematica
    $MaxExtraPrecision = 100000;
    p = 0; Select[Range[1, 10000],
    If[FractionalPart[(Pi - 2)^#] > p, p = FractionalPart[(Pi - 2)^#];
    True] &] (* Robert Price, Mar 26 2019 *)

Formula

Recursion: a(1)=1, a(k) = min{ m>1 | fract((Pi-2)^m) > fract((Pi-2)^a(k-1))}, where fract(x) = x-floor(x).