Geneticists employ repeated sib mating to produce inbred lines of laboratory animals such as mice. At generation 0, two unrelated animals are mated to produce generation 1.

A brother and sister of generation 1 are then mated to produce generation 2, and so forth. Let φn be the kinship coefficient of the brother–sister combination at generation n, and let fn be their common inbreeding coefficient. Demonstrate that