89270
domain: N
Appears in sequences
- The number of closed lambda calculus terms of size n, where size(lambda x.M)=2+size(M), size(M N)=2+size(M)+size(N), and size(V)=1+i for a variable V bound by the i-th enclosing lambda (corresponding to a binary encoding).at n=28A114852
- Numbers that are equal to the sum of the number of divisors of their k first powers, for some k.at n=29A270389