Logiak ktoś: funkcja liniowa ze wszystkimi współczynnikami dodatnimi jest rosnąca ∀a,b [ a>0 ∧ b>0 ] ⇒ ∀x [ a*x+b − a*(x−1)+b > 0 ] Dobrze?

betka: Na mój gust to przed ostatnim b powinien być minus, albo całe wyrażenie należy wziąć w nawias (a*(x−1)+b).