A Conjecture : can anyone find a counter-example or otherwise disprove ?

  • Thread starter uart
  • Start date
  • #1
uart
Science Advisor
2,776
9
Hi, I have a conjecture and I am not sure whether it is true. I can't construct a counter example but perhaps someone more mathemetically resourceful than myself can do so (or perhaps even offer a direct proof or disproof).

Here's the conjecture.

Let [tex]X_n = r_1 \, r_2 \, r_3 \, ... \, r_n[/tex], be a product of n rational fractions [tex](r_i)[/tex] , such that, for each n in [1,2,3 …] the numerator of [tex]X_n[/tex] has at least one prime factor (uncancelled of course) greater than n.

Conjecture : If the limit as n goes to infinity of [tex]X_n[/tex] is finite then it (the limit) is irrational.


If you cant find a counter-example (or direct proof or disproof) then what does your mathematical "intuition" think about it, do you think it's probably true or probably false.

Thankyou. :)
 
Last edited:

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Start with [tex]\inline{r_1=2/1}[/tex].

For any [tex]\inline{n\geq 1}[/tex]:
if [tex]\inline{X_n>1}[/tex], define [tex]\inline{r_{n+1}=p_{n+1}/(p_{n+1}+e_{n+1}}[/tex] where [tex]\inline{p_n+1}[/tex] is the [tex]\inline{n+1}[/tex]-th prime number and [tex]\inline{e_{n+1}}[/tex] is the least integer that doesn't have [tex]\inline{p_{n+1}}[/tex] as a factor and makes [tex]\inline{X_{n+1}<1}[/tex].
if [tex]\inline{X_n<1}[/tex], define [tex]\inline{r_{n+1}=p_{n+1}/(p_{n+1}-e_{n+1}}[/tex] where [tex]\inline{e_{n+1}}[/tex] is the greatest integer less than [tex]\inline{p_{n+1}}[/tex] and makes [tex]\inline{X_{n+1}>1}[/tex].

Then, [tex]\inline{\lim_{n \rightarrow \infty}X_n = 1}[/tex]


This isn't rigorous, but I'm fairly convinced one can make a real proof out of this.
 
  • #3
uart
Science Advisor
2,776
9
Hey, I think you've convinced me. :)

The only thing that I would change is to stipulate that each of the [tex]e_{n+1}[/tex] must be an odd number, so as to make each [tex](p_{n+1} \pm e_{n+1})[/tex] in the denominator an even number. That way you can guarantee that none of the denominator terms can contain the same prime as the next numerator term in the product. This modification will make sure the "not cancelled" clause insn't violated and I dont think it will change the fact that the limit is 1.

Now I can finally put that attempted proof of Pi irrational based on an infinite product to rest.

Thanks. :)
 
Last edited:

Related Threads on A Conjecture : can anyone find a counter-example or otherwise disprove ?

  • Last Post
Replies
4
Views
1K
Replies
3
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
19
Views
3K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
6
Views
2K
Replies
9
Views
1K
Top