a<{p\over q}