OFFSET
1,1
COMMENTS
Any proof that this sequence is infinite?
This sequence is infinite because A039938 is indeed infinite and for any number k there is a multiple of k which does not contain a '7', so A039938 contains infinitely many distinct terms. Both parts are easy to prove. - Giovanni Resta, Feb 26 2019
LINKS
Giovanni Resta, Table of n, a(n) for n = 1..32
MATHEMATICA
Union@ Table[SelectFirst[Range[10^6], Times @@ Boole@ Map[DigitCount[#, 10, 7] > 0 &, # Range@ n] > 0 &], {n, 12}] (* Michael De Vlieger, Apr 27 2017, Version 10 *)
CROSSREFS
KEYWORD
nonn,base
AUTHOR
J. Lowell, Apr 27 2017
EXTENSIONS
a(19)-a(28) from Giovanni Resta, Apr 27 2017
STATUS
approved