a,b,c是不全相等的正數，求證：（ab+a+b+1)(ab+ac+bc+c2)大于16abc