Q. If (a, n)! is defined as product of n consecutive numbers starting from a, where a and n are both natural numbers, and if H is the HCF of (a, n)! and n!, then what can be said about H?

1. h = a!
2. h ≥ n!
3. h = n!
4. h ≥ a * n