>>99
＞a,bの条件のもとに、新たな変数を代入するということであってますか？
云いたいことがよく分からないが

>>95の記号の元で
|A|＜1,|B|＜1 であるから
AB+1＞A+B つまり abc+1＞ab+c が成り立つ
というふうに考えるということ。