zt:=c>=ref(c,1)*1.094 and h=c;

c>ref(c,1)*1.03 and ref(every(zt,2),1);

對不起，忘了你要求20內(nèi)了。

zt:=c>=ref(c,1)*1.094 and h=c;

a:=c>ref(c,1)*1.03 and ref(every(zt,2),1);

exist(a,20);

真的非常感謝