No i udowodnił
0.054539918899536