https://tamref.github.io/posts/migrated/schwarz-lemma/