We define the Gijswijt’s sequence as follows : {x0=1,xn+1=10∗xn+max(i,j)∈N2,i+j≤n(Card{⌊10ixi⌋=⌊10i+jxi+j⌋})
In other words, for a term xn of the sequence, the next term appends to its right the maximum length of consecutive blocks of identical numbers.
Show that every positive integer can be found in this sequence, i.e. that ∀k∈N,∃n∈N such that max(i,j)∈N2,i+j≤n(Card{⌊10ixi⌋=⌊10i+jxi+j⌋})=k.