Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
0 answers
431 views

How to prove these identities for $\log(2)$ based on $_3F_2$ integrals?

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 ...
Jorge Zuniga's user avatar
  • 2,836
6 votes
1 answer
392 views

How to show that $\log 2(1/2\log 2\log 4 + 1/3\log 3\log 6 + \dotsb) + 1/2\log 2 - 1/3\log 3 + 1/4\log 4 - \dotsb = 1/\log 2$ [closed]

I've been studying Ramanujan's work and I stumbled upon this question in the book: Collected Papers of Srinivasa Ramanujan. In there I found question number 769 which is about an infinite sum with ...
Euler-Masceroni's user avatar
4 votes
1 answer
353 views

Inequalities involving binary representation of integers

Let $N\geq 1$ be a positive integer and assume that $N=2^{n_1}+2^{n_2}+\cdots+2^{n_{p}}$, $n_{1}>n_{2}>\cdots>n_{p}\geq 0$, is the binary representation of $N$. I believe that the following ...
aleari1009's user avatar
-1 votes
1 answer
96 views

Limiting points of elementary set

I consider the following set $$A:=\left\{ \frac{3mn}{2(m^2+mn+n^2)}; m,n \in \mathbb Z; \text{ and }m,n \text{ are not both zero}\right\}$$ Is it possible to identify the closure of $A$ in the reals?
Pritam Bemis's user avatar
2 votes
1 answer
166 views

Approximate sequence of numbers

Let $n \in \mathbb N$ and $k_n \in \left\{0,..,n \right\}$ then we define the numbers $$x_{n,k_n} = \frac{k_n+n^2}{n^3+n^2}.$$ It is easy to see that these numbers satisfy $$x_{n,0} = \frac{1}{n+1} ...
T.Sell's user avatar
  • 21
-2 votes
1 answer
208 views

Strong estimates for the zeta function on natural numbers

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{...
tobias's user avatar
  • 749
4 votes
0 answers
101 views

Injectivity of product functions on natural number sequences

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$ ...
tobias's user avatar
  • 749
6 votes
2 answers
389 views

asymptotic for li(x)-Ri(x)

Is it true that $$\operatorname{li}(x)-\operatorname{Ri}(x) \sim \frac{1}{2}\operatorname{li}(x^{1/2}) \ (x \to \infty),$$ where $$\operatorname{Ri}(x) = \sum_{n = 1}^\infty \frac{\mu(n)}{n} \...
Jesse Elliott's user avatar
33 votes
1 answer
3k views

About the validity of a new conjecture about a diophantine equation

Let us consider the following conjecture: Conjecture: There are no integer solutions of the equation $$x^{y-z}z^{x-y}=y^{x-z}$$ with $x,y,z$ distinct positive integers greater than or equal to $2$. ...
Safwane's user avatar
  • 1,197
4 votes
1 answer
315 views

What is the number of representations of a real number?

Let $f:\omega\to\mathbb N$ be a function such that $\sum_{n=0}^\infty\frac{f(n)}{2^n}<\infty$. We identify each natural number $n\in\mathbb N$ with the set $\{0,\dots,n-1\}$. Then the map $$\...
Taras Banakh's user avatar
  • 41.8k
7 votes
1 answer
507 views

Is the mapping $f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n}$ surjective?

Is the mapping $$ f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n} $$ surjective? If not, what is its image? If yes, what can be said about ...
Stefan Kohl's user avatar
  • 19.6k
1 vote
2 answers
641 views

Sharp upper bounds for sums of the form $\sum_{p \mid k} \frac{1}{p+1}$

Are there known sharp upper bounds (in terms of $k$ or $\omega(k)$, the number of distinct prime divisors of $k$) for sums of the form $\sum_{p \mid k} \frac{1}{p+1}$ for $k > 1$ subject to the ...
user02138's user avatar
  • 595
22 votes
2 answers
2k views

Is a real power series that maps rationals to rationals defined by a rational function?

Suppose that the function $p(x)$ is defined on an open subset $U$ of $\mathbb{R}$ by a power series with real coefficients. Suppose, further, that $p$ maps rationals to rationals. Must $p$ be defined ...
Sidney Raffer's user avatar