a,b,c,dを0を含めた自然数とするとき，
　a<c, b<d, b/a<d/c
のもとで
　b-a>0
となることを示すことは可能ですか？