%I #42 Apr 11 2023 08:42:33
%S 6,10,1542,77075,113939,1122772,2455891300,2830138178,136387767490,
%T 2111259099790,3456955336468,4653248164310,10393297007134,
%U 321249146279171,972926121017616,72780032758751764
%N Numbers k such that 2^k starts with k.
%C According to van de Lune, Erdős observed that 2^6 = 64 and 2^10 = 1024 were two examples where the decimal expansion of 2^k starts with that of k. At that time no other examples were known. Jan van de Lune computed the first 6 terms in 1978. - _Juan Arias-de-Reyna_, Feb 12 2016
%H J. van de Lune, <a href="https://ir.cwi.nl/pub/7417/">A note on a problem of Erdős</a>, Department of Pure Mathematics, ZW 87/78, Mathematisch Centrum, Amsterdam 1978, 1-3.
%F The sequence contains k if and only if 0 <= {k*log_10(2)} - {log_10(k)} < log_10(k+1) - log_10(k), where {x} denotes the fractional part of x. See the van de Lune article. - _David Radcliffe_, Jun 02 2019
%e 2^6 = 64, which begins with 6;
%e 2^10 = 1024, which begins with 10.
%t f[n_] := Floor[ 10^Floor[ Log[10, n]](10^FractionalPart[n*N[ Log[10, 2], 24]])]; Do[ If[ f[n] == n, Print[n]], {n, 125000000}] (* _Robert G. Wilson v_, Nov 16 2004 *)
%o (Python) # Caveat: fails for large n due to rounding error.
%o from math import log10 as log
%o frac = lambda x: x - int(x)
%o is_a100129 = lambda n: 0 <= frac(n * log(2)) - frac(log(n)) < log(n + 1) - log(n) # _David Radcliffe_, Jun 02 2019
%o (Python)
%o from itertools import count, islice
%o def A100129_gen(startvalue=1): # generator of terms
%o a = 1<<(m:=max(startvalue,1))
%o for n in count(m):
%o if (s:=str(n))==str(a)[:len(s)]:
%o yield n
%o a <<= 1
%o A100129_list = list(islice(A100129_gen(),4)) # _Chai Wah Wu_, Apr 10 2023
%Y Cf. A064541 (2^k ending with k), A032740 (k a substring of 2^k), A131494.
%K nonn,base
%O 1,1
%A Mark Hudson (mrmarkhudson(AT)hotmail.com), Nov 15 2004
%E a(5) and a(6) from _Robert G. Wilson v_, Nov 16 2004
%E More terms from _Robert Gerbicz_, Aug 22 2006
|