Spec for the Small Factorial Problem