Công thức ước lượng giai thừa Ramanujan

Trong toán học, công thức ước lượng giai thừa Ramanujan^[1]^[2] thường được gọi ngắn gọn là xấp xỉ Ramanujan là công thức biểu thị gần đúng cho tập giai thừa. Giống như công thức Stirling nhưng điểm khác biệt là công thức cho ra kết quả có độ chính xác cao hơn, và công thức được đặt theo tên của nhà toán học người Ấn Độ Srinivasa Ramanujan. Phiên bản của công thức hay tổng của hàm $ln(n)$ thường được ứng dụng hỗ trợ thay thế với độ chính xác cao: $\ln(n!)\approx n\ln(n)-n+{\frac {\ln(n(1+4n(1+2n)))}{6}}+{\frac {\ln(\pi )}{2}}.$ Công thức được biểu diễn như sau $n!\approx {\sqrt {\pi }}\left({\frac {n}{e}}\right)^{n}{\sqrt[{6}]{{8n^{3}}+{4n^{2}}+n+{\frac {1}{30}}}}$ Nơi hai đại lượng được chỉ định là tiệm cận, khá chính xác. Công thức được nêu ra trong một bài thi quốc gia ở Mỹ.^[3] Sự cải tiến của công thức được bàn luận trên diễn đàn arXiv.^[4]^[5]^[6] Người ta cũng đưa ra giới hạn hợp lệ cho công thức với tất cả số nguyên dương: ${\sqrt {\pi }}\left({\frac {n}{e}}\right)^{n}{\sqrt[{6}]{{8n^{3}}+{4n^{2}}+n+{\frac {1}{100}}}}<n!\leq {\sqrt {\pi }}\left({\frac {n}{e}}\right)^{n}{\sqrt[{6}]{{8n^{3}}+{4n^{2}}+n+{\frac {1}{30}}}}$

Chứng minh

Theo tài liệu arXiv thống kê^[4] đối với n là một số thực, được xác định bởi tập $\theta _{n}$ , thì công thức khi đó sẽ là $n!\approx {\sqrt {\pi }}\left({\frac {n}{e}}\right)^{n}{\sqrt[{6}]{{8n^{3}}+{4n^{2}}+n+{\frac {\theta _{n}}{30}}}}$ Như vậy tập $\theta _{n}$ được xác định như sau: ${1}-{\frac {11}{8n}}+{\frac {79}{112n^{2}}}<\theta _{n}<{1}-{\frac {11}{8n}}+{\frac {79}{112n^{2}}}+{\frac {20}{33n^{3}}}$ Khi tập xác định thỏa mãn được độ chuẩn xác nếu tập $\theta _{n}=1$ như hằng số được chỉ định trong công thức, từ đó có bảng sau:

$n!$	Giá trị gốc	Giá trị gần đúng của công thức ước lượng giai thừa Ramanujan
0	$1$	$1.00551385831589$
1	$1$	$1.000283346114$
2	$2$	$2.000066137639113675156$
3	$6$	$6.00004829397$
4	$24$	$24.0000676620607$
5	$120$	$120.00014706585663513$
6	$720$	$720.0004424029$
7	$5040$	$5040.001718$