q\leq p