Since you also asked about alternate proofs of Theorem 1, there is a proof that does not use the localization theorem of a stronger version of the inequality (due to Floyd) in my notes here. See Theorem B of those notes.
Andy Putman
- 44.8k
- 14
- 186
- 272