\(a, b > 0\) muss nicht begründet werden, es ist bereits vorausgesetzt. Allenfalls lässt sich so die Plausibilität der Voraussetzungen begründen. Ob nun damit auch alle \(a,b>0\) realistisch im Sinne des Anwendungszusammenhangs sind, weiß ich nicht.
Die Formulierung "bis zu 25%" lässt eine eindeutige Rechnung wohl nicht zu. Man müsste schauen, wie weit man kommt, wenn man mit exakten 25% rechnet.