$$ f_{\text{Chung}}(x) = \frac{1}{2\sqrt{2\pi}}\frac{1}{x^{\frac{3}{2}}} \exp\left( - \frac{1}{2x} \right) $$ for $x>0$
In 1946, Chung and Fuchs proved a theorem that provides a sufficient condition for the law of the iterated logarithm (LIL) to hold. chung probability pdf
Assuming you're referring to the Chung's theorem related to the law of the iterated logarithm, I provide you with a brief overview. 0$ In 1946
Here, I couldn't find or assume well known standard Chung distribution. chung probability pdf