I am fairly sure that
Proving that a complex polynomial has no roots in the unit disk has been asked and answered before. My search with
Approach0 finds only solutions on AoPS. – Any idea how to improve the search, or other ways to find a Q&A on MSE?