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.

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

Original entry on oeis.org

1, 2, 15, 22, 58, 157, 1030, 5269, 145048, 151710
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^m is greater than the fractional part of Pi^k for all k, 1<=k
The next such number must be greater than 100000.
a(11) > 300000. - Robert Price, Mar 25 2019

Examples

			a(3)=15, since fract(Pi^15)= 0.9693879984..., but fract(Pi^k)<=0.8696... for 1<=k<=14; thus fract(Pi^15)>fract(Pi^k) for 1<=k<15 and 15 is the minimal exponent > 2 with this property.
		

Programs

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

Formula

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

Extensions

a(9)-a(10) from Robert Price, Mar 25 2019