相关论文: Elementary Proofs of Some Stirling Bounds

A concise and elementary derivation of the complete asymptotic expansion for the factorial function $n!$ is presented. This treatment produces a new expression for the coefficients, and it brings to light the simple relationship between the…

We provide an alternating proof of sharp inequalities related with Burnside's formula for $n!$

We study the complexity of small-depth Frege proofs and give the first tradeoffs between the size of each line and the number of lines. Existing lower bounds apply to the overall proof size -- the sum of sizes of all lines -- and do not…

In 1730 James Stirling, building on the work of Abraham de Moivre, published what is known as Stirling's approximation of $n!$. He gave a good formula which is asymptotic to $n!$. Since then hundreds of papers have given alternative proofs…

We present details of logically simplest integral sufficient for deducing the Stirling asymptotic formula for n!. It is the Newton integral, defined as the difference of values of any primitive at the endpoints of the integration interval.…

We investigate some extremal cases of exactness constant and completely bounded projection constant. More precisely, for an $n$-dimensional operator space $E$ we prove that $\lambda_{cb}(E) = \sqrt{n}$ if and only if $ex(E) = \sqrt{n}$,…

We show that the number of $1$'s in the first $N$ digits of the binary expansion of $\sqrt{2}$ is at least $\sqrt{2N}(1+o(1))$ and show that this bound can be improved to around $2\sqrt{N}/\sqrt{2\sqrt{2}-1}$ infinitely often.

We generalize the Stirling numbers of the first kind $s(a,k)$ to the case where $a$ may be an arbitrary real number. In particular, we study the case in which $a$ is an integer. There, we discover new combinatorial properties held by the…

In this paper, we show that every graph with $m$ edges admits a 3-partition such that \[ \max_{1 \leq i \leq 3} e(V_i) \leq \frac{m}{9} + \frac{1}{9}h(m) \quad \text{and} \quad e(V_1, V_2, V_3) \geq \frac{2}{3}m + \frac{1}{3}h(m), \] where…

A set of integers is \emph{primitive} if it does not contain an element dividing another. Denote by $f(n)$ the number of maximum-size primitive subsets of $\{1,\ldots, 2n\}$. We prove that the limit $\alpha=\lim_{n\rightarrow…

Let $P_{<n}(z)$ be the Rudin-Shapiro polynomial of degree $n-1$. We show that $|P_{<n}(z)|\le \sqrt{6n-2}-1$ for all $n\ge0$ and $|z|=1$, confirming a longstanding conjecture. This bound is sharp in the case when $n=(2\cdot 4^k+1)/3$ and…

Consider the regular $n$-simplex $\Delta_n$ - it is formed by the convex-hull of $n+1$ points in Euclidean space, with each pair of points being in distance exactly one from each other. We prove an exact bound on the width of $\Delta_n$…

We show that there exists a lattice covering of $\mathbb{R}^n$ by Eucledian spheres of equal radius with density $O\big(n \ln^{\beta} n \big)$ as $n\to\infty$, where \begin{align*} \beta := \frac{1}{2} \log_2 \left(\frac{8 \pi…

Let $X_1,..., X_N\in\R^n$ be independent centered random vectors with log-concave distribution and with the identity as covariance matrix. We show that with overwhelming probability at least $1 - 3 \exp(-c\sqrt{n}\r)$ one has $ \sup_{x\in…

Yet another example where "physical" (i.e. only checking finitely many special cases) gives a fully rigorous proof, notwithstanding what your "Intro To Proofs" prof told you!

We prove multiplicative congruences mod $2^{12}$ for George Andrews's partition function, $\overline{\mathcal{EO}}(n)$, the number of partitions of $n$ in which every even part is less than each odd part and only the largest even part…

In 1975, P. Erd\"{o}s proposed the problem of determining the maximum number $f(n)$ of edges in a graph of $n$ vertices in which any two cycles are of different lengths. In this paper, it is proved that $$f(n)\geq n+36t$$ for $t=1260r+169…

Let $v_3$ denote the usual $3$-adic valuation, and let $s(n, k)$ be the unsigned Stirling number of the first kind. In this paper, for $a\in\{1,2\}$, we determine the values of $v_3(s(a3^n, k))$ for all $1\le k\le a3^n$. More precisely, for…

Defining the truncated extension operator $E$ for a sequence $a(n)$ with $n \in {\mathbb Z}$ by putting \[ E{a}(\alpha,\beta):=\sum_{|n|\leq N}a(n) e(\alpha n^3 + \beta n), \] we obtain the conjectured tenth moment estimate \[ \| E{a}…

Let $P_n(y_1,\ldots,y_n):= \prod_{1\leq i<j\leq n}\left( 1 -\frac{y_i}{y_j}\right) $ and $P_n:= \sup_{(y_1,\ldots,y_n)}P_n(y_1,\ldots,y_n) $ where the supremum is taken over the $n$-ples $(y_1,\ldots,y_n)$ of real numbers satisfying $0…