Of course it's contained in known integer sequences. The positive integers in increasing order, for example: https://oeis.org/A000027 https://oeis.org/A000027.

Of course it's contained in known integer sequences. The positive integers in increasing order, for example: https://oeis.org/A000027 https://oeis.org/A000027. The search doesn't know about every term in every sequence, as most are infinite and many are mostly unknown (some well-defined sequences only have a few known terms).