Related papers: A glimpse inside the mathematical kitchen

We prove that the Fourier cosine series $\sum_{k=1}^{\infty}(-1)^{k+1}\frac{r^k\cos{k\phi}}{k+2}$ assumes its maximum value at $\phi = 0$ for $\phi \in [0, \pi)$ regardless of $r$ if $r \in (0, 1]$. This was first proved by Arias de Reyna…

We present several new inequalities for trigonometric sums. Among others, we show that the inequality $$ \sum_{k=1}^n (n-k+1)(n-k+2)k\sin(kx) > \frac{2}{9} \sin(x) \bigl( 1+2\cos(x) \bigr)^2 $$ holds for all $n\geq 1$ and $x\in (0,…

The main aim of this paper is to prove that the double inequality \frac{(k-1)!}{\Bigl\{x+\Bigl[\frac{(k-1)!}{|\psi^{(k)}(1)|}\Bigr]^{1/k}\Bigr\}^k}…

We prove a functional extension of an exponential inequality originally proposed by Bin Zhao and proved by Xiaosheng Mou. The main result asserts that if $\alpha_1\leq \cdots\leq \alpha_n$ and $\sum_{k=1}^n \alpha_k=0$, then \[ \sum_{k=1}^n…

We provide an elementary proof of the left side inequality and improve the right inequality in \bigg[\frac{n!}{x-(x^{-1/n}+\alpha)^{-n}}\bigg]^{\frac{1}{n+1}}&<((-1)^{n-1}\psi^{(n)})^{-1}(x)…

For a real number $k$, define $\pi_k(x) = \sum_{p\le x} p^k$. When $k>0$, we prove that $$ \pi_k(x) - \pi(x^{k+1}) = \Omega_{\pm}\left(\frac{x^{\frac12+k}}{\log x} \log\log\log x\right) $$ as $x\to\infty$, and we prove a similar result when…

In this paper, we prove that the double inequality \begin{equation*} 1+\alpha r'^2<\frac{\mathcal{K}_{a}(r)}{\sin(\pi a)\log(e^{R(a)/2}/r')}<1+\beta r'^2 \end{equation*} holds for all $a\in (0, 1/2]$ and $r\in (0, 1)$ if and only if…

A scaling and renormalization approach to the Riemann zeta function, $\zeta$, evaluated at $-1$ is presented in two ways. In the first, one takes the difference between $U_{n}:=\sum_{q=1}^{n}q$ and $4U_{\left\lfloor \frac{n}{2}\right\rfloor…

We consider the alternating Riemann zeta function $\zeta^*(s)= \sum^{\infty} _{ n=1} \frac{(-1)^{n-1}}{n^s}$, which converges if $Re (s)>0 .$ By using Rouche's theorem, the Bolzano-Weierstrass theorem and by method of contradiction we…

We obtain a new $q$-analogue of the classical Leibniz series $\sum_{k=0}^\infty(-1)^k/(2k+1)=\pi/4$, namely \begin{equation*}…

For the functions $f$, which can be represented in the form of the convolution $f(x)=\frac{a_{0}}{2}+\frac{1}{\pi}\int\limits_{-\pi}^{\pi}\sum\limits_{k=1}^{\infty}e^{-\alpha k^{r}}\cos(kt-\frac{\beta\pi}{2})\varphi(x-t)dt$,…

In this note we consider inequalities involving the error function $\phi$. Our methodes give new proofs of some known inequalities of Komatsu, and of Szarek and Werner, and also produce two families of inequalities that give upper and lower…

In this paper, we prove that for fixed $k\geq 1$, the Wilker type inequality {equation*} \frac{2}{k+2}(\frac{\sin x}{x}) ^{kp}+\frac{k}{k+2}(\frac{% \tan x}{x})^{p}>1 {equation*}% holds for $x\in (0,\pi /2) $ if and only if $p>0$ or $p\leq…

The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…

The following theorem is proved. {\bf Theorem.} {\it Let $P(x) = \sum_{k=0}^{2n} a_k x^k$ be a polynomial with positive coefficients. If the inequalities $\frac{a_{2k+1}^2}{a_{2k}a_{2k+ 2}} < \frac{1}{cos^2(\frac{\pi}{n+2})} $ hold for all…

We give a simple proof of Hanspeter Schmid's result that $K_n:=2\int_0^\infty\cos t\,\prod_{k=0}^n\mathrm{sinc}\left(\frac{t}{2k+1}\right)\mathrm{d}t=\pi/2$ if $n\in\{0,1,\ldots,55\}$, and $K_n<\pi/2$ if $n\geq 56$. Furthermore, we present…

In a recent paper [5] a smooth function f : [0; 1] --> R with all derivatives vanishing at 0 has been considered and a global condition, showing that f is indeed identically 0, has been presented. The purpose of this note is to replace the…

Let $A$ be a finite set of integers. We show that if $k$ is a prime power or a product of two distinct primes then $$|A+k\cdot A|\geq(k+1)|A|-\lceil k(k+2)/4\rceil$$ provided $|A|\geq (k-1)^{2}k!$, where $A+k\cdot A=\{a+kb:\ a,b\in A\}$. We…

For each of the functions $f \in \{\phi, \sigma, \omega, \tau\}$ and every natural number $k$, we show that there are infinitely many solutions to the inequalities $f(p_n-1) < f(p_{n+1}-1) < \dots < f(p_{n+k}-1)$, and similarly for…

Let $H_k = 1 + 1/2 + 1/3 + \cdots + 1/k$ denote the $k$th harmonic number. We present an easy-to-implement algorithm for the computation of explicit closed-form evaluations, in terms of the digamma and polygamma functions, for Euler sums of…