How do you solve #8<=m-1#?