One thing I might recommend in a document like this is to make it clear up front with concrete real examples what the use case of this theorem is. You eventually mention something about forecasting extreme height, but I was a bit confused about that and some readers may not reach that. More generally, after a quick read I am still a bit unclear why I would want to use/know this concept.
For example, you could write something like “Suppose that you are trying to forecast [real thing of interest]. Some of the relevant variables at play here are [ABC]. A naive approach might be [x] or assume [y], but actually, according to this theorem, [____].”
One thing I might recommend in a document like this is to make it clear up front with concrete real examples what the use case of this theorem is. You eventually mention something about forecasting extreme height, but I was a bit confused about that and some readers may not reach that. More generally, after a quick read I am still a bit unclear why I would want to use/know this concept.
For example, you could write something like “Suppose that you are trying to forecast [real thing of interest]. Some of the relevant variables at play here are [ABC]. A naive approach might be [x] or assume [y], but actually, according to this theorem, [____].”