mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2013-04-25, 11:47   #1
davieddy
 
davieddy's Avatar
 
"Lucan"
Dec 2006
England

2×3×13×83 Posts
Default Rigour Requested

Probability of a factor between x and x+dx is dx/(xlnx)
Let P(x) be the probability of no factor <x.
Then P(x+dx) = P(x)(1-dx/(xlnx))
dP/P = -dx/(xlnx)
Integrating from x=aX to x=aY gives the probability of no factors in this range = X/Y, from where we get the familiar probability of one or more factors between 2X-1 and 2X = 1/X.

I am grateful to Oliver for the following sanity check:
The product of all prime factors of N is N.
The sum of their logs is logN.
Expected sum of their logs is the integral of logx(1/xlnx)dx from 1 to N = logN.

******
All such simple stuff that there must be some truth in it.
However there are two large elephants in the room named "independence" and "2kp+1".
Can someone get rid of them please?

David

Last fiddled with by davieddy on 2013-04-25 at 11:59
davieddy is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Prime95 defaults - your input requested Prime95 PrimeNet 25 2016-03-25 19:32
Program requested devarajkandadai Software 3 2013-07-08 12:01
Search engine feedback requested. Xyzzy Forum Feedback 2 2007-05-28 04:22
ecm benchmarks requested for Stage 1 and 2 jasong GMP-ECM 0 2007-04-19 02:25
Iterations requested for factoring... guido72 Software 16 2002-09-09 21:12

All times are UTC. The time now is 15:00.

Sun Mar 7 15:00:14 UTC 2021 up 94 days, 11:11, 0 users, load averages: 1.10, 1.45, 1.52

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.