I created array p[1..10000000] of boolean; p[i]=true when exist i in input. But i can t prove that if length of input <=100000 then absent numb <=10000000

because if you will write all numbers from 1 to 10000000. string length will be more than 10^5