No i udowodnił
0.067517995834351