Let be the number of binary sequences of length that do not contain the pattern 001. Using Inclusion-Exclusion, I am pretty sure I found a pattern for . I think it is
Then, I want to find the following limit: .
A colleague told me that he thinks it should have some sort of a connection to (the n-th harmonic number) and the limit . So far, I haven't been able to find any such connection.