No i udowodnił
0.05296802520752