Trong toán học, công thức ước lượng giai thừa Ramanujan 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 l n ( n ) {\displaystyle ln(n)} thường được ứng dụng hỗ trợ thay thế với độ chính xác cao:
ln ( n ! ) ≈ n ln ( n ) − n + ln ( n ( 1 + 4 n ( 1 + 2 n ) ) ) 6 + ln ( π ) 2 . {\displaystyle \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 ! ≈ π ( n e ) n 8 n 3 + 4 n 2 + n + 1 30 6 {\displaystyle 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ỹ. Sự cải tiến của công thức được bàn luận trên diễn đàn arXiv. 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:
π
(
n
e
)
n
8
n
3
+
4
n
2
+
n
+
1
100
6
<
n
!
≤
π
(
n
e
)
n
8
n
3
+
4
n
2
+
n
+
1
30
6
{\displaystyle {\sqrt {\pi }}\left({\frac {n}{e}}\right)^{n}{\sqrt[{6}]{{8n^{3}}+{4n^{2}}+n+{\frac {1}{100}}}}