Revision #3365 → #3914 · back to history
modifiedObservational errore0ff218a478c
| Field | From #3365 | To #3914 |
|---|
| anchor.snippet | the term margin of error is often used in non-survey contexts to indicate observational error | The term margin of error is often used in non-survey contexts to indicate observational error |
| provenance | ai | ai-moderated |
modifiedStandard error decreases with sample sizedac55eed84f1
| Field | From #3365 | To #3914 |
|---|
| anchor.snippet | The smaller | The qualitative claim that the standard error (of the sample mean/proportion) shrinks as n grows is a consequence of Var(sample mean) = sigma^2/n; the specialized statement is not formalized in Mathlib. |