Divisor Function t(n): Proving $2n*(n)^{1/2}$

  • Context: Graduate 
  • Thread starter Thread starter peteryellow
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion focuses on proving the inequality involving the divisor function t(n), specifically that t(n) < 2√n. The divisor function t(n) counts the positive divisors of n, and participants explore its relationship with prime factorization and logarithmic properties. The proof strategy involves iterative theorem proving, starting with the base case k=1 and extending to k+1, demonstrating that k!(k+1) < 2√n holds true. Key insights include the use of monotonicity of logarithmic functions and factorial growth comparisons.

PREREQUISITES
  • Understanding of the divisor function t(n) and its definition.
  • Familiarity with prime factorization and its implications on divisor counting.
  • Knowledge of logarithmic functions and their monotonic properties.
  • Basic principles of mathematical induction and iterative theorem proving.
NEXT STEPS
  • Study the properties of the divisor function t(n) in number theory.
  • Learn about prime factorization and its role in divisor counting.
  • Explore logarithmic inequalities and their applications in proofs.
  • Investigate iterative theorem proving techniques in mathematical analysis.
USEFUL FOR

Mathematicians, number theorists, and students interested in divisor functions and inequalities in number theory.

peteryellow
Messages
47
Reaction score
0
Let t(n) be the divisor function, i.e., the function gives the positive divisors in n including 1 and n. Then I want to show that

$2n*(n)^{1/2}.$

I have tried different ideas but nothing is working can somebody please give some hints.
 
Physics news on Phys.org
peteryellow said:
Let t(n) be the divisor function, i.e., the function gives the positive divisors in n including 1 and n. Then I want to show that

$2n*(n)^{1/2}.$

I have tried different ideas but nothing is working can somebody please give some hints.
I'm sorry, I don't understand what it is you want to prove. Is that last formula just 2nn^{1/2}= 2n^{3/2} and what does it have to do with t(n)?
 
soory .

t(n) = divisor function, i.e., number of positive divisors of n including n and 1.

Then I want to show that t(n) < 2*(n)^{1/2}. I mean 2 times squareroot of n.
 
If the prime factorization of n is p1^k1 . p2^k2 . p3^k3 . ..., then t(n) = (k1+1)(k2+2)(k3+3)... Using this, and the fact that the logarithm function is monotonic, maybe (just maybe) taking logs on both sides of the inequality might help. Just an idea.
 
Dodo:
then t(n) = (k1+1)(k2+2)(k3+3)
You started in interesting direction, but f(n) = k! where k=\sum(k_i)

Let's start iterative theorem prove:
k=1
then t(n)=1 and 1&lt;2\sqrt{n} for any n&gt;1.

Prove for k+1
t(n)=(k+1)!=k!(k+1)
Now we have to prove that k!(k+1) &lt; 2\sqrt{n}
Let's suppose that it's not true. Divide both sides on k+1, than we'll have k! &gt; \frac{2}{k+1}\sqrt{n} (1). But we know that k!&lt;2\sqrt{n} and \frac{2}{k+1}\sqrt{n}&lt;2\sqrt{n}.

This means that (1) is impossible and k!(k+1) &lt; 2\sqrt{n} is true.
 

Similar threads

Replies
48
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
3
Views
2K