  The following work is a preprint collection of formal proofs regarding the
convergence properties of the AdaBoost machine learning algorithm's classifier
and margins. Various math and computer science papers have been written
regarding conjectures and special cases of these convergence properties.
Furthermore, the margins of AdaBoost feature prominently in the research
surrounding the algorithm. At the zenith of this paper we present how
AdaBoost's classifier and margins converge on a value that agrees with decades
of research. After this, we show how various quantities associated with the
combined classifier converge.
