login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A153679
Minimal exponents m such that the fractional part of (1024/1000)^m obtains a maximum (when starting with m=1).
12
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 82, 134, 1306, 2036, 6393, 34477, 145984, 2746739, 2792428, 8460321
OFFSET
1,2
COMMENTS
Recursive definition: a(1)=1, a(n) = least number m>a(n-1) such that the fractional part of (1024/1000)^m is greater than the fractional part of (1024/1000)^k for all k, 1<=k<m.
The next such number must be greater than 5*10^5.
a(40) > 10^7. Robert Price, Mar 16 2019
FORMULA
Recursion: a(1):=1, a(k):=min{ m>1 | fract((1024/1000)^m) > fract((1024/1000)^a(k-1))}, where fract(x) = x-floor(x).
EXAMPLE
a(30)=82, since fract((1024/1000)^82)= 0.99191990..., but fract((1024/1000)^k)<0.9893 for 1<=k<=81; thus fract((1024/1000)^82)>fract((1024/1000)^k) for 1<=k<82 and 82 is the minimal exponent >29 with this property.
MATHEMATICA
$MaxExtraPrecision = 10000;
p = 0;
Select[Range[1, 50000],
If[FractionalPart[(1024/1000)^#] > p,
p = FractionalPart[(1024/1000)^#]; True] &] (* Robert Price, Mar 16 2019 *)
PROG
(Python)
A153679_list, m, n, k, q = [], 1, 1024, 1000, 0
while m < 10**4:
r = n % k
if r > q:
q = r
A153679_list.append(m)
m += 1
n *= 1024
k *= 1000
q *= 1000 # Chai Wah Wu, May 16 2020
KEYWORD
nonn,more
AUTHOR
Hieronymus Fischer, Jan 06 2009
EXTENSIONS
a(37)-a(39) from Robert Price, Mar 16 2019
STATUS
approved