number.house
Sequences
Properties
4454136
domain:
N
Appears in sequences
a(n) = binomial(n,2)*(2^(n-2) - n).
at n=13
A342483