prove or disprove : for all M, N in natural number , M < N => (exists some number K in natural number ,such that M < K and k < N)

I notice that this is a false statement which i need to proof the negation of statement to disprove it.

so far i got ,

for all M , N in natural number , M < N => (for all number K in natural number , that M => K or K <= N)