分からない問題はここに書いてね449

[0809 １３２人目の素数さん 2018/12/22(土) 08:18:05.04 ID:8kz99c4V]

S = {a_1, a_2, …, a_n}

任意の 1 ≦ i < j ≦ n に対して、

a_i ≠ a_j

が成り立つとする。

このとき、

#S = n

であることを証明せよ。