Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm reading this (very short, 1 page long) paper by W.H. Mills where he determines that there exists a real number $A$ such that $f(n) = \lfloor {A^3}^n \rfloor$ is a prime number for all positive integers $n$.

In the paper before Theorem 1, he has this sequence $\{P_n\}_{n=0}^{\infty}$ with the property

$$P_n^3 < P_{n+1} < (P_n + 1)^3 - 1. \hspace{20pt} (*)$$

He defines a new sequence $\{u_n\}_{n=0}^{\infty}$ by $u_n = P_n^{3-n}$ and proceeds to prove things about that sequence. In particular he states (without proof) that $u_{n+1} > u_n$ (which can also be written $P_{n+1}^{3-n-1} > P_n^{3-n}$).

I am trying to justify the step and it is turning out more difficult than I thought it would be. I tried using $(*)$ in the following way:

$$P_{n+1}^{3-n-1} > \left( P_n^3 \right)^{3-n-1} = P_n^{9-3n-3} = P_n^{6-3n}.$$

To finish, I would need the inequality $P_n^{6-3n} > P_n^{3-n}$. I can see how to get $P_n^{6-3n} > P_n^{3-3n}$, but the sentence $P_n^{3-3n} > P_n^{3-n}$ is clearly false, so this will not work.

This indicates to me that I should start from the other side of $(*)$. If you try it using the fact that for $x>0$, $(x+1)^c > x^c+x^{c-1}+1$, this is what happens:

$$\begin{array}{} (p_{n+1}+1)^{3-n} &> p_{n+1}^{3-n} + p_{n+1}^{3-n-1} + 1 \\ &> \left( p_n^{3-n} \right)^3 + \left( p_n^{3-n-1} \right)^3, \end{array}$$

then I would like to conclude $> p_n^{3-n}$, but it is not going to be true since $p_n^{3-n} < 1$ implies $\left( p_n^{3-n} \right)^3 < p_n^{3-n} < 1$.

What am I not seeing?

share|improve this question

1 Answer 1

up vote 6 down vote accepted

Unfortunate about the original typesetting. In various places where the exponent is written as $3-n,$ it should actually be $$3^{-n}.$$

So, from the basic $P_{n+1} > P_n^3,$ we get $P_n > P_0^{3^n}.$ So how do we get something of modest size? $$ P_n^{3^{-n}} > \left( P_0^{3^n} \right)^{3^{-n}} = P_0^{\;3^n \cdot 3^{-n}} = P_0. $$

Alright, just confirming, when it says exponent $3-n-1$ it should be $$ 3^{-n-1} $$

Your original problem with $u_{n+1}$ and $u_n$ is really $$ u_{n+1} = P_{n+1}^{3^{-n-1}} > \left( P_n^3 \right)^{3^{-n-1}} = P_n^{\; 3 \cdot 3^{-n-1} } = P_n^{3^{-n}} = u_n $$

share|improve this answer
    
Simple and sweet. Thanks! –  tomcuchta Jan 9 '12 at 1:17

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.