我知道：
因为 p^2-p+0.25>=0 是成立的.（由p^2-p+0.25=(p-0.5)^2>=0可看出）
所以 整理为 p^2+q>=p+q-0.25；就是方程两边+q再移向.
由初始条件很容易得到：p^2+q