lb KM: Zapisać bez kwantyfikatorów o ograniczonym zakresie ∀ x>0 ∀ y>0 x+y>2 ⇒x+2y>xy Może ktoś ma jakiś pomysł, bo nawet nie wiem co tu trzeba zrobić