theorem Th2: :: POLYNOM5:2

for x, y being Real st y > 0 holds
(min (x,y)) / (max (x,y)) <= 1