Not only may but do; I like Common Lisp a lot, and while some people complain that LOOP isn't lispy enough I personally do like it.

But it doesn't have the elegance of just specifying the inequalities you want your loop variables to satisfy :-).