Aronson's sequence