Spec for Small Factorials