>>732 数列は作れても無限個ある証明はできてないな。