sequences and rudin