A:={x∈Q|x<0}∪{x∈Q|x^2<2}とする
Ia:={x∈Q|x<a}とする
A=Iaとなるa∈Qは存在しないことを示してください