d+.d+'
= f2 |
d.d'
= f2 |
(m'd+')/e+
= (d+'+f)/D |
(d'm')/e
= (d'+f)/D |
e+
< e |
e
< e |
(m'd+').D
< (d+'+f).e |
(d'm').D
< (d'+f).e |
(m'.Df.e)
< (D+e).d+' |
(De).d'
< (m'.D+f.e) |
(m'.Df.e).m.d+
< (D+e).d+'.m.d+ |
(De).d'.m.d
< (m'.D+f.e).m.d |
(f.Dm.e).d+
< (D+e).f.m |
(De).f.m
< (f.D+m.e).d |
(f.Dm.e).d+
< (D+e).f.m |
(De).f.m
< (f.D+m.e).d |
(1a).d+
< (1+b).m |
(1+a).d
> (1b).m |
m/(1+a)
< d < m/(1a)