4 . 在解决问题：“证明数集没有最小数”时可用反证法证明：
假设是中的最小数，则存在，
可得：，与假设中“a是A中的最小数”矛盾，
所以数集没有最小数.
那么对于问题：“证明数集，并且没有最大数”，也可以用反证法证明：我们可以假设是中的最大数，则存在，且，其中的一个值可以是__________（用、表示），由此可知，与假设是中的最大数矛盾.所以数集没有最大数.

7 . 对于命题“若且是有理数，则是无理数”，用反证法证明时，假设是有理数后下面到处矛盾的方法：
①因为是有理数，是无理数，所以是无理数，这与是有理数矛盾；
②因为有理数，是无理数，所以是无理数，这与是有理数矛盾；
③因为是有理数，是有理数，所以是有理数，这与是无理数矛盾；
其中，推理正确的序号是___________.