Например, строить критерий заданного асимптотического размера, основанный на статистике

А где можно про эту статистику прочесть(с доказательствами).
Точно не скажу. Эта статистика (квадрат её) используется в критерии

для проверки однородности двух выборок по двум интервалам группировки. Например, Г.И.Ивченко, Ю.И.Медведев "Математическая статистика", параграф 3.4. Однако доказательства там нет. Грубо говоря, для двух независимых бернуллиевских выборок с одним и тем же параметром

распределения величин

и

при

аппроксимируется нормальными соответственно

и

.
Если вместо

в знаменателях взять состоятельную оценку

, вычесть друг из друга дроби

и

, то разность имеет распределение, близкое к

. Осталось на корень из дисперсии поделить, и получится

, распределение которой при любом стремлении

приближается к стандартному нормальному.
Если кто знает, как это
корректно и просто доказать, напишите, плз. Туплю.
На самом деле критериев-то много предложить можно, в том числе и просто очевидный критерий для проверки _основной_ гипотезы

, которая будет приниматься, если

и отвергаться в противном случае. Такой критерий годится? Ведь слова "проверить гипотезу" сами по себе ничего не означают, покуда не сформулировано, какими качествами должен обладать критерий для проверки гипотезы.