>>271
(1) （左辺） - （右辺） を因数分解
(2) |bc| < 1 だから (1) より a*bc + 1 > a + bc
また、 bc > b + c - 1。