>>621
0 < (1-x)(1-y) = 1-(x+y)+xy ≦ |1+xy|-(x+y)　から　x+y < |1+xy|
0 < (1+x)(1+y) からも同様に　-|1+xy| < x+y
よって
-|1+xy| < x+y < |1+xy|
⇔ |x+y| < |1+xy|
両辺を　|1+xy| (>0) で割って
|x+y|/|1+xy| < 1
|(x+y)/(1+xy)|≦|x+y|/|1+xy|　から　｜(x+y)/(1+xy)｜<1