inequation verification.的用法和樣例：
例句
- The complexity and difficulty in proving equation or inequation are reduced effectively through establishing suitable probability models.
摘要通過構造適當的概率模型使得一些原本很難證明的等式或不等式的證明變得簡單而容易。 - Schedulability test inequation of the algorithm is presented in the paper.The validity and the flexibility of the algorithm are proved through the analysis of classical task sets.
文中給出該演算法的可調度判定不等式，並且通過對經典任務集的調度結果，驗證了演算法的有效性和靈活性。
