I<x,y>I ≤ IxI * IyI wenn x oder y gleich 0 ist,
kann man den Ausdruck (<x,y>)/(IxI IyI) gar nicht
bilden, das kann man also wohl ausschließen.
Ansonsten gilt
I<x,y>I ≤ IxI * IyI
<=> - IxI * IyI ≤ <x,y> ≤ IxI * IyI
und Division durch IxI * IyI ergibt
-1 ≤ <x,y> / ( IxI * IyI) ≤ 1.