User:Iamion/sandbox


 * $$P = \int_0^L \frac{1}{\pi}\arccos(\frac{x}{L})\,\frac{dx}{L} = \frac{1}{\pi}$$