Process 如何证明实时调度的可调度性方程？

在andrew s tanenbaum modern operating systems关于进程的第二章“实时调度”中，它指出给定进程的可调度性由以下等式控制。

事件i以周期Pi发生，需要CPU时间的Ci秒来完成 各就各位

---

谁能告诉我如何证明这一点。

好的，我想出了一个解决办法

如果Pi是周期，那么1/Pi是频率。那么Ci/Pi是i事件每秒花费的时间。为了能够安排所有m个事件，总和（Ci/Pi）应小于或等于1