这个证明是不是有点问题。
虽然证明了超过7的阶乘不能表达为4连自然数，同时4连自然数+1又一定是某个平方数。不过平方数又不是只能表达为4连自然数加1。有没有可能阶乘+1可以等于那些不为某4个连续自然数+1的平方数呢？
而且我本来是在b站上看到有人发这个，搜了一下居然发现了有个知乎回答和视频的过程基本一模一样
顺便我看了一下，8*9*10*11*12*13*14+1=63*64*65*66+1=17297281=4159^2，虽然没用，但是还是很奇妙的