MT【19】舒尔不等式设计理念及证明

评：舒尔的想法是美妙的，当然他本身也有很多意义，在机械化证明的理念里，它也占据了一方田地。