ISL 1982 Problem 24
Prove that if a person a has infinitely many descendants (children, their children, etc.), then a has an infinite sequence of descendants (i.e., and for all is always a child of ). It is assumed that no-one can have infinitely many children.
Variant 1. Prove that if has infinitely many ancestors, then has an infinite descending sequence of ancestors (i.e., where and is always a child of ).
Variant 2. Prove that if someone has infinitely many ancestors, then all people cannot descend from and .
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.