m<1+m<2+m<3=m<3+m<4

is what proof