f(1) := min C
と定義する。

n > 1 に対しては、
f(n) := min C - {f(1), …, f(n-1)}
と定義する。

とだけ書いて、そのような f : N → C が存在すること自体は証明しません。
これってありですか？