可以证明，M个同类资源被n个进程共享时，只要不等式________成立，则系统一定不会发生死锁，其中x为每个进程申请该类资源的最大量。