$\forall p, q, p\in \mathbb{Q}\land q\in \mathbb{Q}\land (p< q)\colon p< q^2$