Write the symbolic form of the proposition “At least one subset of the real numbers has a smallest element.”