¬∀x,y: √(x/y) ≅ -∞ | y ≠ 0
habs grad mal getestet, nnirc kanns wohl nicht die fetten buchstaben stellt er als fragezeichen dar