If the first digit is 4, the remaining $n-1$ digits form a valid sequence: $a_n-1$ - Leaselab