Fungrim home page

Fungrim entry: 8ee7c9

\pi = \sqrt{\psi'\!\left(\frac{1}{4}\right) - 8 G}

TeX:

\pi = \sqrt{\psi'\!\left(\frac{1}{4}\right) - 8 G}

Definitions:

Fungrim symbol	Notation	Short description
`Pi`	$\pi$	The constant pi (3.14...)
`Sqrt`	$\sqrt{z}$	Principal square root
`DigammaFunction`	$\psi\!\left(z\right)$	Digamma function
`ConstCatalan`	$G$	Catalan's constant

Source code for this entry:

Entry(ID("8ee7c9"),
    Formula(Equal(Pi, Sqrt(Sub(DigammaFunction(Div(1, 4), 1), Mul(8, ConstCatalan))))))

Topics using this entry

Pi

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC