[math-fun] oldest stars?