Doesn't the binary sequence 000010011001110011101010101010101010101100110 demonstrate that a(2) >= 45? -
R. J. Mathar, Jul 29 2007 Answer: No - see the following comment.
The sequence of length 45 above does not satisfy the requirements of the definition: Subsequences are not required to be consecutive. Therefore it cannot show a(2) >= 45. In the sequence we find for i=2, j=3: x(i..2i) is 000; x(j..2j) is 001001; and 000 is a subsequence of 001001. -
Don Reble, May 13 2008