计算机模拟
田岛文生用计算机模拟证明，统计量formula_15符合貝塔分布（Beta distribution）。对某一样本，若formula_15值处于置信区间之外，则可以拒绝零假设，即否定选择中性。