No i udowodnił
0.1426157951355