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.

A154132 Minimal exponents m such that the fractional part of (4/3)^m increases monotonically (when starting with m=1).

Original entry on oeis.org

1, 2, 8, 39, 2495, 3895, 4714, 8592
Offset: 1

Views

Author

Hieronymus Fischer, Jan 11 2009

Keywords

Comments

Recursive definition: a(1)=1, a(n) = least number m>a(n-1) such that the fractional part of (4/3)^m is greater than the fractional part of (4/3)^k for all k, 1<=k
The next such number must be greater than 200000.

Examples

			a(4)=39, since fract((4/3)^39)= 0.999186..., but fract((4/3)^k)<0.9887... for 1<=k<=38; thus fract((4/3)^39)>fract((4/3)^k) for 1<=k<39 and 39 is the minimal exponent > 8 with this property.
		

Formula

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