Recently I read NVidia's Mipmapping_Normal_Maps which says we can used the un-renormalized averaged normal to compute the standard deviation of the angle between averaged normal and sample normals. By the first step, it assumes a Gaussian distribution of the angular deviation and give a figure (sorry but I cannot post an image as a new user, please refer to Figure_2 in that paper).
Then my question is, how the length of averaged normal is represented by a function of Standard Deviation of the angle(original function of Gaussian distribution, red curve in the figure)?