>>457
近似値では0.9015426774くらいのようだが
厳密解は多分無い。