A145679 Lower limit of backward value of 2^n and n!.

2, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0

Offset

1,1

Comments

For n!, omitting the trailing sequence zeros. - Simon Plouffe, Mar 05 2017

The terms are deduced from sequence A023415.

The sum of constants in this sequence and A023415 is conjectured to be 11 exactly.

From Cezary Glowacz, Jul 25 2024: (Start)

The backward value of 2^k is formed by writing the decimal digits of 2^k from least to most significant, so that for example 2^2489 = ...610112 becomes 2.11016..., and then the present constant is the infimum of all such backward values (excluding 2^0).

The sequence is not eventually periodic. Assuming any period results in a condition a(1)=0 mod 10 which contradicts a(1)=2.

The above conjecture about the sum of constants in this sequence and A023415 can be proved using the recursion formulas for the sequences.

The equality of the backward sequences for n! omitting the trailing sequence zeros and 2^n holds under the conjecture that for each k and each r not divisible by 5 there are infinitely many n for which n! without trailing zeros = r mod 5^k. Actually this conjecture is true because for m > 0 g(k)^m = ((5^k)(5^(4m) - 1)/(5^4 - 1))! without leading zeros mod 5^k, and g(k) is a generator of the multiplicative group mod 5^k for k=3 mod 4 by induction using g(k+4)^l = g(k)^l <> 1 mod 5^k for l = 5^i or 4.

(End)

From David A. Corneth, Jun 15 2024: (Start)

a(1) through a(n) describes the smallest number with n digits (in base 10) not ending in 0 such that the number formed by concatenating the last k digits in reverse is a multiple of 2^k for 1 <= k <= n by choosing digits 0 or 1 for n >= 2.

If a(1) were 0, then a(n) would be 0 for all n. (End)

Links

Table of n, a(n) for n=1..88.

Formula

a(n) >= 0 and is the minimum satisfying (Sum_{i=1..n} a(i)*10^(i-1)) == 0 (mod 2^n), for n >= 2. - Cezary Glowacz, Jun 25 2024

Example

From David A. Corneth, Jun 15 2024: (Start)
a(1) = 2. a(2) = 0 or 1. If a(2) = 0 then any number ending in 02 (the backwards concatenation of (2, 0)) should be a multiple of 2^2 = 4 but it is not. Any number ending in 12 (the backwards concatenation of (2, 1)) is a multiple of 2^2 = 4 so a(2) = 1.
Similarly a(3) = 1 as 112 is a multiple of 2^3 and 012 is not.
a(4) = 0 as 0112 is a multiple of 2^4 and 1112 is not.
a(5) = 1 as 10112 is a multiple of 2^5 and 00112 is not. (End)

Prog

(Python)
# lower limit of backward value of 2^n
a, i=2, 0; x=a
while 1:
     i+=1; print(x, end=', ')
     if a%2**(i+1) == 0: x=0
     else: x=1; a+=10**i
# Cezary Glowacz, Jun 15 2024
(PARI) first(n) = {
	my(t = 2);
	for(i = 2, n,
		if(t%2^i != 0,
			t = t + 10^(i-1);
		);
	);
	res = Vecrev(digits(t));
	res = concat(res, vector(n - #res));
} \\ David A. Corneth, Jun 15 2024

Crossrefs

Cf. A000079, A004154, A023415, A158624, A158625.

Sequence in context: A089311 A086784 A104162 * A007273 A016319 A342531

Adjacent sequences: A145676 A145677 A145678 * A145680 A145681 A145682

Keyword

nonn,base

Author

Simon Plouffe, Mar 23 2009

Extensions

More terms from Cezary Glowacz, Feb 26 2017

More terms from Jinyuan Wang, Mar 01 2020

Status

approved