Да, похоже, что действительно 2^(1/2)/2