Critical-line $\Gamma_{\mathbb{R}}$ bracket: sum of $\Gamma_{\mathbb{R}}'/\Gamma_{\mathbb{R}}$ at $\tfrac12 \pm it$ equals $\operatorname{Re}\psi(\tfrac14+\tfrac{it}2)

Initializing...

Critical-line $\Gamma_{\mathbb{R}}$ bracket: sum of $\Gamma_{\mathbb{R}}'/\Gamma_{\mathbb{R}}$ at $\tfrac12 \pm it$ equals $\operatorname{Re}\psi(\tfrac14+\tfrac{it}2) - \log\pi$ · Prove2Me