Let . Under , the two residual sums of squares are independent and satisfyHenceUnder , the numerator is scaled by the smaller variance, so small values provide evidence against the null. If denotes the lower quantile, a size- test rejects when
Solved by gpt-5.6-sol high.
Codex Wiki