Intereting Posts

A metric space such that all closed balls are compact is complete.
If $X$ is symmetric, show $k(X^2)$ = $k(X)^2$
Congruence question with divisibility
Looking for references about a tessellation of a regular polygon by rhombuses.
When is $(a+b)^n \equiv a^n+b^n$?
Probability that a normal distribution is greater than two others
“isometric invariant” vs “isometric” what do these term mean?
Why is $1^{\infty}$ considered to be an indeterminate form
minimal polynomial of power of algebraic number
Principal prime ideals are minimal among prime ideals in a UFD
Probabilistic techniques, methods, and ideas in (“undergraduate”) real analysis
Show $\mathbb{Q}(\sqrt{2},\sqrt{3})$ is a simple extension field of $\mathbb{Q}$.
Bifurcation Example Using Newton's Method
Automorphisms of abelian groups and Choice
Hartshorne proposition II(2.6)

This is the second attempt at a proof. My first attempt had a flaw in its logic.

After reviewing the mistake in logic, I believe that with a revised logic, the argument can be saved.

The revision consists of two arguments. The argument presented below covers the condition where $\{\frac{x}{b_2}\} + \{\frac{x}{b_3}\} < 1$. My question here covers the condition where $\{\frac{x}{b_2}\} + \{\frac{x}{b_3}\} \ge 1$

- Evaluate $\frac{0!}{4!}+\frac{1!}{5!}+\frac{2!}{6!}+\frac{3!}{7!}+\frac{4!}{8!}+\cdots$
- Did I derive a new form of the gamma function?
- Closed Form for Factorial Sum
- The product of n consecutive integers is divisible by n factorial
- Factorial of infinity
- How to prove this $\pi$ formula?

I am very glad to be corrected if someone is able to find a mistake. ðŸ™‚

This is an attempt to generalize one of the steps in Ramanujan’s proof of Bertrand’s postulate.

In particular, Ramanujan’s does the following comparison in step (8):

$$\ln\Gamma(x) – 2\ln\Gamma(\frac{x}{2} + \frac{1}{2}) \le \ln(\lfloor{x}\rfloor!) – 2\ln(\lfloor\frac{x}{2}\rfloor!)$$

It occurs to me that this can be generalized to:

$$\ln\Gamma(\frac{x}{b_1}-\frac{3}{16}) – \ln\Gamma(\frac{x}{b_2}+\frac{19}{32}) – \ln\Gamma(\frac{x}{b_3}+\frac{19}{32})\le \ln(\lfloor\frac{x}{b_1}\rfloor!) – \ln(\lfloor\frac{x}{b_2}\rfloor!) – \ln(\lfloor\frac{x}{b_3}\rfloor!)$$

when:

$$\frac{x}{b_1} = \frac{x}{b_2} + \frac{x}{b_3}$$

and:

$$\{\frac{x}{b_2}\} + \{\frac{x}{b_3}\} < 1$$

where:

$$x > 36$$

Here’s the argument for this generalization:

Let:

$$\{\frac{x}{b_i}\} = \frac{x}{b_i} – \lfloor\frac{x}{b_i}\rfloor$$

where:

$$0 \le \{\frac{x}{b_i}\} < 1$$

Since:

$$\{\frac{x}{b_1}\} + \lfloor\frac{x}{b_1}\rfloor = \{\frac{x}{b_2}\} + \lfloor\frac{x}{b_2}\rfloor + \{\frac{x}{b_3}\} + \lfloor\frac{x}{b_3}\rfloor$$

We have:

$$\{\frac{x}{b_1}\} = \{\frac{x}{b_2}\} + \{\frac{x}{b_3}\}$$

and

$$\lfloor\frac{x}{b_1}\rfloor = \lfloor\frac{x}{b_2}\rfloor + \lfloor\frac{x}{b_3}\rfloor$$

If $\Delta{t_1} \ge \Delta{t_2} + \Delta{t_3}$ and $x_1 + \Delta{t_1} \ge x_2 + \Delta{t_2} \ge x_3 + \Delta{t_3} > 0$,

Using the logic in the answer here:

$$\frac{\Gamma(x_1 + \Delta{t_1})}{\Gamma(x_1)} \ge \frac{\Gamma(x_2 + \Delta{t_2})}{\Gamma(x_2)}\frac{\Gamma(x_3 + \Delta{t_3})}{\Gamma(x_3)}$$

Let:

$x_1 = \frac{x}{b_1}-\frac{3}{16}$, $\Delta{t_1} = \frac{19}{16}-\{\frac{x}{b_1}\}$,

$x_2 = \frac{x}{b_2}+\frac{19}{32}$, $\Delta{t_2} = \frac{13}{32}-\{\frac{x}{b_2}\}$

$x_3 = \frac{x}{b_3}+\frac{19}{32}$, $\Delta{t_3} = \frac{13}{32}-\{\frac{x}{b_3}\}$

where $\frac{x}{b_2} \ge \frac{x}{b_3}$ (Otherwise, switch the two values).

Then:

$$\frac{\Gamma(\lfloor\frac{x}{b_1}\rfloor+1)}{\Gamma(\frac{x}{b_1}-\frac{3}{16})} \ge \frac{\Gamma(\lfloor\frac{x}{b_2}\rfloor+1)}{\Gamma(\frac{x}{b_2}+\frac{19}{32})}\frac{\Gamma(\lfloor\frac{x}{b_3}\rfloor+1)}{\Gamma(\frac{x}{b_3}+\frac{19}{32})}$$

So then it follows:

$$\ln\Gamma(\lfloor\frac{x}{b_1}\rfloor + 1) – \ln\Gamma(\frac{x}{b_1} – \frac{3}{16}) \ge \ln\Gamma(\lfloor\frac{x}{b_2}\rfloor+1) – \ln\Gamma(\frac{x}{b_2}+\frac{19}{32}) + \ln\Gamma(\lfloor\frac{x}{b_3}\rfloor + 1) – \ln\Gamma(\frac{x}{b_3}+\frac{19}{32})$$

And we have shown:

$$\ln\Gamma(\frac{x}{b_1}-\frac{3}{16}) – \ln\Gamma(\frac{x}{b_2}+\frac{19}{32}) – \ln\Gamma(\frac{x}{b_3}+\frac{19}{32}) \le \ln(\lfloor\frac{x}{b_1}\rfloor!) – \ln(\lfloor\frac{x}{b_2}\rfloor!) – \ln(\lfloor\frac{x}{b_3}\rfloor!)$$

Here’s an example:

Let $x=77.1$, $b_1=6$, $b_2=7$, $b_3=42$

So that:

$\{\frac{77.1}{7}\} \approx 0.0143$, $\{\frac{77.1}{42}\} \approx 0.8357$

Then:

$$\ln\Gamma(\frac{77.1}{6}-\frac{3}{16}) – \ln\Gamma(\frac{77.1}{7}+\frac{19}{32}) – \ln\Gamma(\frac{77.1}{42} + \frac{19}{32}) \le \ln(\lfloor\frac{77.1}{6}\rfloor!) – \ln(\lfloor\frac{77.1}{7}\rfloor!) – \ln(\lfloor\frac{77.1}{42}\rfloor!)$$

Please let me know if you see any mistakes.

Thanks,

-Larry

**Note 1:** I came up with $\frac{x}{b_1}-\frac{3}{16}$ by comparing $\frac{x}{b_1}-1$ and then comparing $\frac{x}{b_1}-\frac{1}{2}$. I found that by taking consistent averages and satisfying these conditions:

If $\Delta{t_1} \ge \Delta{t_2} + \Delta{t_3}$ and $x_1 + \Delta{t_1} \ge x_2 + \Delta{t_2} \ge x_3 + \Delta{t_3} > 0$,

I was able to get a tighter lower bound. I should be able to improve upon $\frac{x}{b_1} – \frac{3}{16}$ if I wanted to.

**Note 2:** I have not been able to show that this tightening of the lower bound works in all cases. This is a gap in my argument. I still need to show that using $\frac{x}{b_1}-\frac{3}{16}$ is always an improvement to using the more obvious $\frac{x}{b_3}-1$. My argument shows that it will work but not that it is better.

- Integral $\int_{-\infty}^\infty\frac{\Gamma(x)\,\sin(\pi x)}{\Gamma\left(x+a\right)}\,dx$
- Why does 0! = 1?
- Use induction to prove the following: $1! + 2! + … + n! \le (n + 1)!$
- To find all $n$ such that $(n-1)!+1$ is a perfect power of $n$
- Limits defined for negative factorials (i.e. $(-n)!,\space n\in\mathbb{N}$)
- Factorial number of digits
- What is $n!$ when $n=0$?
- Factorials and Prime Factors
- Proving and deriving a Gamma function
- Solving an inequality : $n \geq 3$ , $n^{n} \lt (n!)^{2}$.

Looking at a graph it seems plausible that your result holds for $x>36$, but it does not hold for $35\le x <36$ where the right side is zero.

The flaw in this case is that $\{x/b_3\}>13/16$, allowing $\Delta t_3<0$ and $\Delta t_2>\Delta t_1$, violating the conditions for the $x_i+\Delta t_i$ inequality.

- How can I prove this is a metric?
- Prove or disprove that ${F_{n}}^2 + 41$ is always a composite
- How to do a change of variable in an ODE
- What's the fastest way to get an exact value for $\int_a^b{(1+x)^n dx}$?
- Does $IJ=IK\implies J=K$ always hold for integral domain and finitely generated nonzero ideal $I$?
- Anti-derivative of continuous function $\frac{1}{2+\sin x}$
- Is there a precise mathematical connection between hypergeometric functions and modular forms
- Rigorous hypothesis for Reynolds' transport theorem
- Prove or disprove statements about the greatest common divisor
- Fundamental group of multiplicative group in Zariski topology
- Question about Holomorphic functions
- Limiting distribution.
- Verify the identity: $\tan^{-1} x +\tan^{-1} (1/x) = \pi /2$
- Strictly convex function: how often can its second derivative be zero?
- A bijective continuous map is a homeomorphism iff it is open, or equivalently, iff it is closed.