>>32
a<xと定義してるのにa=xと仮定してるのは?
x<mを考慮すればよいって言い回しもイマイチ謎
なにか全体的に読みにくい