>>786
統一された手法で解けるんですね。エレガントです。

> t≧3 ⇒ f(a,b,c;t) ≦ 0,

すべてのt≧3で成り立つのは自明ですかね?