Suppose X1,⋯,Xn∼iidNp(μ,Σ) where n>p,μ∈Rp,Σ∈Rp×p:positive definite, and S=n−11∑i=1n(Xi−X)(Xi−X)T
n−1n−ppT2∼Fp,n−p where T2=n(X−μ)TS−1(X−μ)
∵
n(X−μ)∼Np(0,Σ),(n−1)S∼Wp(n−1,Σ),X⊥⊥S
=> n(X−μ)T((n−1)S/n−1)−1n(X−μ)=n(X−μ)TS−1(X−μ)
P(n(X−μ)TS−1(X−μ)≤n−p(n−1)pFp,n−p(α))=1−α