Since is one-to-one, it is invertible. So consider the function , which maps the disk onto the disk and fixes the origin. By the Schwarz lemma, we have and . We also have and . Using the chain rule gives . This forces . This allows us to apply the Schwarz lemma to conclude that for some .