A logarithmic inequality (Q1646361): Difference between revisions

@@ Property / describes a project that uses @@
+MetiTarski
@@ Property / describes a project that uses: MetiTarski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Remark on Stirling's Formula
@@ Property / cites work: A Remark on Stirling's Formula / rank @@
+Normal rank
@@ Property / cites work @@
+SHARP INEQUALITIES FOR FACTORIAL n
@@ Property / cites work: SHARP INEQUALITIES FOR FACTORIAL n / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp inequalities involving the constant<i>e</i>and the sequence (1 + 1/<i>n</i>)<sup><i>n</i></sup>
+Normal rank
@@ Property / cites work @@
+MetiTarski: An automatic theorem prover for real-valued special functions
+Normal rank
@@ Property / cites work @@
+Q3225387
@@ Property / cites work: Q3225387 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0001434618010224
+Normal rank
@@ Property / OpenAlex ID @@
+W2789952802
@@ Property / OpenAlex ID: W2789952802 / rank @@
+Normal rank