Definition:Sequence of Highly Composite Number