Dowód jest
0.054972887039185