首先将 $a$ 数组从小到大排序，然后使用乘法原理：

$$ans = a_1 \times (a_2 - 1) \times (a_3 - 2) \dots \times (a_n - (n - 1))$$

在这个过程中，如果因数出现了0，就说明无解，$ans$ 也会因为因数$0$的存在而自动归0。所以不论哪种情况，最后都输出 $ans$ 即可。

最后提醒大家一定一定不要忘记取模，我一开始思路对了但忘了取模30pts，后来老师提醒一加取模AC了。

取模也一定要写成ans=ans*...%MOD，不要写成ans*=...%MOD，否则程序会先对...取模从而导致错误。