若，且有常数满足，那么有“存在，使得对任意都有”成立