输入正整数，验证小于等于的所有正整数都不满足时的费马大定理。

费马大定理又称费马小定理，是指如果p为一个质数，那么对于任意整数a，都有a^p≡a(mod p)。如果p不是质数，则等式不一定成立。

根据费马大定理，如果输入的正整数n不是质数，则存在整数a，使得a^(n-1)≢1(mod n)。这时，我们可以判断n不满足费马大定理。

如果n是质数，则费马大定理成立。但是，如果n是合数，可能存在一些特殊的数a，使得a^(n-1)≡1(mod n)。这样的数a被称为费马证人。

因此，我们可以通过随机选取一些数a，来验证费马大定理是否成立。如果在多次尝试后，都找不到费马证人，则可以认为n是一个素数，费马大定理成立。如果找到了费马证人，则可以确定n不是质数，费马大定理不成立。

需要注意的是，费马大定理只是一种判断质数的方法，它并不是绝对准确的。在某些情况下，可能会出现误判的情况。因此，对于特别大的数，一般采用更加高效的素数测试算法进行判断。