Richard, I think 10^(k-1) was correct - the point being that this is a LOWER bound on n. anyway, i've replaced that comment with David Wilson's proof that the sequence is complete