number.house
Sequences
Properties
5451131
domain:
N
Appears in sequences
Upper bound arising in Hadwiger's conjecture.
at n=8
A159484