Update rudin-pma-notes.md