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

  • Context: Graduate 
  • Thread starter Thread starter peteryellow
  • Start date Start date
  • Tags Tags
    Function
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
4 replies · 5K views
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 [itex]2nn^{1/2}= 2n^{3/2}[/itex] 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 [tex]f(n) = k![/tex] where [tex]k=\sum(k_i)[/tex]

Let's start iterative theorem prove:
k=1
then [tex]t(n)=1[/tex] and [tex]1<2\sqrt{n}[/tex] for any [tex]n>1[/tex].

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

This means that (1) is impossible and [tex]k!(k+1) < 2\sqrt{n}[/tex] is true.