All Questions

In this MO post I have placed 4 Ramanujan-type hypergeometric series found using the LLL algorithm for fast computing of some logarithms. I could prove 3 of them by means of classical methods based on ...

Let $M = \{ a = (a_i)_{i} : a_i \in \mathbb{N}, a_1 \geq 2, a_i > a_j \forall i>j\}$ the set of all ascending natural number sequences, with $a_1$ at least 2. We now define for each $k \geq 2$ ...

Let $$\zeta(s) = \sum_{n = 1}^\infty \frac{1}{n^s}$$ be the Riemann zeta function (here we just consider real $s$). We do have a description given by $$\zeta(s) = \frac{s}{s-1}-s\int_{1}^\infty \frac{...