OFFSET
1,1
COMMENTS
Definition: For positive integers b (as base) and n, the positive integer (allowing initial zeros) a(n) is expomorphic relative to base b (here 4) if a(n) has exactly n decimal digits and if b^a(n) == a(n) (mod 10^n) or, equivalently, b^a(n) ends in a(n). [See Crux Mathematicorum link.]
For sequences in the OEIS, no term is allowed to begin with a digit 0 (except for the 1-digit number 0 itself). However, in the problem as defined in the Crux Mathematicorum article, leading 0 digits are allowed; under that definition, "0411728896" would be included because the last 10 digits of 4^0411728896 are 0411728896, and also 02555290411728896" because the last 17 digits of 4^02555290411728896 are "02555290411728896". However, these are not in the sequence as defined here. - Jon E. Schoenfield
LINKS
Charles W. Trigg, Problem 559, Crux Mathematicorum, page 192, Vol. 7, Jun. 81.
EXAMPLE
4^6 = 4096 ends in 6, so 6 is a term; 4^96 = ....896 ends in 96, so 96 is another term.
PROG
(PARI) isok(n) = 10^valuation(4^n-n, 10)>n; \\ after A003226; Michel Marcus, Jun 18 2017
(PARI) is(n)=my(m=10^#digits(n)); Mod(4, m)^n==n \\ Charles R Greathouse IV, Aug 10 2017
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Bernard Schott, Jun 18 2017
EXTENSIONS
a(6)-a(9) from Gheorghe Coserea, Jun 21 2017
a(10)-a(11) from Robert G. Wilson v, Jun 24 2017
STATUS
approved