Witzbold!
Für JEDE Belegung der Variablen a, b, c und d, die den beiden Voraussetzungen entspricht, muss a/b >c/d gelten.
Ein gültiges Einzelbeispiel ist kein Beweis für die Richtigkeit.
Ein einziges Gegenbeispiel ist hingegen der Beweis für die Falschheit der Aussage.