# Log of factorial

$\sum_{n=1}^{x}ln(n)=ln(x!)$

We can approximate it's derivative by taking 2 secants equidistant (in the x-axis) from the point for which we have to approximate the derivative.

let $f(x)$ be derivative of $ln(x!)$

$f(x)>ln(x)$ ...(because secant from point of coordinates $(x-1,ln((x-1)!))$)

$f(x) ...(because secant from point of coordinates $(x+1,ln((x+1)!))$)

As the difference between $ln(x+1)$ and $ln(x)$ decreases then we can more accurately approximate the value of $f(x)$

$ln(x+1)-ln(x)=ln(\frac{x+1}{x})=ln(1+\frac{1}{x})$

We know that as $x$ approaches infinity, $\frac{1}{x}$ approaches 0

=> As x approaches infinity $ln(1+\frac{1}{x})$ approaches $ln(1)=0$

=> $f(x)$ ~ $\frac{ln(x)+ln(x+1)}{2}$

$\frac{ln(x)+ln(x+1)}{2}=\frac{ln(x(x+1))}{2}=2^{-1}ln(x(x+1))=ln(\sqrt{x(x+1)})$

So as $\sqrt{x(x+1)}$ ~ $x+\frac{1}{2}$ ...(1)

Proof of above statement (1) :

let say as $x$ approaches infinity $\sqrt{x(x+1)}$ approaches $x+k$ for any constant k

Therefore, $\sqrt{x(x+1)}=x+k$ must led to contradictions

let's simplify it

$x(x+1)=(x+k)^{2}$

$x^{2}+x=x^{2}+2xk+k^{2}$

$x=2kx+k^{2}$

if $k=\frac{1}{2}$ then $x=x+k^{2}$ => $k^{2}=0$

this led to contradiction

this mean that it only leads to contradiction only if $k=\frac{1}{2}$

this mean that $k$ must equal $\frac{1}{2}$

Hence $\sqrt{x(x+1)}$ ~ $x+\frac{1}{2}$

=> $f(x)$ ~ $ln(x+\frac{1}{2})$

integrating both sides

$ln(x!)$ ~ $∫ln(x+\frac{1}{2})dx$

$∫ln(x+\frac{1}{2})=(x+\frac{1}{2})(ln(x+\frac{1}{2})-1)+c$

$ln(x!)$ ~ $(x+\frac{1}{2})(ln(x+\frac{1}{2})-1)+c$ ...(A)

$∏_{P≤N}P^{floor(\frac{N}{P})}=N!$ ...(here P is prime)

$floor(\frac{N}{P})$ ~ $\frac{N}{P}$

$ln(N!)$ ~ $\sum_{P≤N}(\frac{N}{P})ln(p)$ ...(B)

Combining (A) and (B)

$(N+\frac{1}{2})(ln(N+\frac{1}{2})-1)+c$ ~ $N\sum_{P≤N}\frac{ln(P)}{P}$

$\frac{(N+\frac{1}{2})(ln(N+\frac{1}{2})-1)+c}{N}$ ~ $\sum_{P≤N}\frac{ln(P)}{P}$

$(1+\frac{1}{2N})(ln(N+\frac{1}{2})-1)+\frac{c}{N}$ ~ $\sum_{P≤N}\frac{ln(P)}{P}$

$ln(n+\frac{1}{2})-1$ ~ $\sum_{P≤N}\frac{ln(P)}{P}$

$ln(n)-1$ ~ $\sum_{P≤N}\frac{ln(P)}{P}$

Note:

• Here, floor() is the floor function I used this notation because I was unable to find it's symbol.

• If you find any problem or difficulty in mathematics used here please comment.

Note by Zakir Husain
1 week, 1 day ago

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

• Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
• Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
• Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
• Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold
- bulleted- list
• bulleted
• list
1. numbered2. list
1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$ ... $$ or $ ... $ to ensure proper formatting.
2 \times 3 $2 \times 3$
2^{34} $2^{34}$
a_{i-1} $a_{i-1}$
\frac{2}{3} $\frac{2}{3}$
\sqrt{2} $\sqrt{2}$
\sum_{i=1}^3 $\sum_{i=1}^3$
\sin \theta $\sin \theta$
\boxed{123} $\boxed{123}$