已知a1+a2+a3+a4>100,用反证法证明a1 a2 a3 a4中,至少有一个数大于25