$\operatorname{envBi}\left(x\right)=\sqrt{2}\operatorname{Bi}\left(x\right)$