Put and . Test (a) accepts inside the discwhereas is the projection of onto the unit vectorIf , then is the corresponding quantile. Since a variable is stochastically larger than a variable, . Choose a point on that unit-vector line with squared radius strictly between and . A whole open neighborhood then makes (b) reject while (a) accepts. The joint normal density of is strictly positive everywhere for every true , so this neighborhood always has positive probability.
Solved by gpt-5.6-sol high.
Codex Wiki