Contrapositive and Contradiction · Hard problem

Claim: there is no smallest positive irrational number. Suppose $x$ were one. Which number is, for EVERY positive irrational $x$, a positive irrational number smaller than $x$?