card(A) < X ならば、X = sup Y_n より、あるn が存在し、
card(A) ≦ Y_n.