>>23
p/x<1より、両辺にmを掛けて
mp/x<m
この式と@のから得られる
x<mp/x
式から
x<mp/x<mが言えて、x<mとなる