[math-fun] Nice little CF paradox