”For any $P \le Q \in \mathscr{P}([a, b])$, then” doesn’t seem correct? Maybe you can just get away with ”Observe” again.