A178157 is a number sequence that describes numbers that are divisible by all of their prefixes. For example, 2020 is in the sequence because 2020 is divisible by 2, 20, and 202, (and 2020). However, I noticed after 100, all the numbers in the sequence end with a zero. So my question is, is there a number in sequence A178157 greater than 100 that does not end with a zero?
My own progress:
A friend of mine wrote a code and checked all the numbers up to 100 million with no luck. Is there some proof that all numbers greater than 100 in this sequence must end with a zero?
The only lead I could think of in trying to prove it was that the number must not contain any zeros either because there would be a suffix that ends in a zero.
Interestingly enough, there's a similar sequence, A178158, which looks at the suffixes instead of the prefixes, and there are many large numbers in the sequence that do not contain a zeroes, for example, 53125 is divisible by 5, 25, 125, 3125, (and 53125). None of the numbers in this sequence end in a zero, which is much easier to prove, since the first prefix is zero and you can't divide by zero.