KWillets

After two days of police calls but no police, hearing damage, dog panic attacks and lack of sleep starting with the massive, all-night illegal fireworks show at the HUD Hayes Valley HOPE VI housing project, I finally snapped and did what no police officer or city official has had the courage or integrity to do.

As I was trying to go to bed, a man that I'd never seen before in the neighborhood started lighting rockets in the middle of the street, so I asked him who he was, told him to get lost, and kicked over the box of rockets. He, a heavyset hispanic male, and a white male with a thin face then attacked me, bit me, pursued me across the street, and tore off my shirt and jacket. I took ref

Recently I tried to review the foundations of inverse variance weighting, but I found only Shahar's paper from 2017 which states:

 If the variances of the individual estimators are given, the ideal weights have long been known to be the inverse of the variance. Nonetheless, I have not found a formal proof of this result in the literature. In this article, I provide three different proofs of the ideal weights.

I haven't taken a formal stats course, so I'm wondering how this principle has been taught -- was a proof given as lore but not published, or omitted entirely? I can imagine it being worked out in lectures or textbooks,