Mertens’ product formula asserts that$$\prod _{p\le x}\left(1-\frac{1}{p}\right)logx\to e^{-\gamma }$$as $x\to \infty$. Calculation shows that the right side of the formula exceeds the left side for $2\le x\le {10}^8$. It was suggested by Rosser and Schoenfeld that, by analogy with Littlewood’s result on $\pi \left(x\right)-\mathrm{li}x$, this and a complementary inequality might change their sense for sufficiently large values of $x$. We show this to be the case.

Let $J_k\left(n\right):=n^k{\prod }_{p\mid n}(1-p^{-k})$ (the $k$-th Jordan totient function, and for $k=1$ the Euler phi function), and consider the associated error term$$E_k\left(x\right):=\sum _{n\le x}{J}_k\left(n\right)-\frac{x^{k+1}}{(k+1)\zeta (k+1)}.$$When $k\ge 2$, both $i_k:=E_k\left(x\right)x^{-k}$ and $s_k:=lim\; sup{E}_k\left(x\right)x^{-k}$ are finite, and we are interested in estimating these quantities. We may consider instead$$Ik:=\underset{n\in \mathbb{N},n\to \infty }{lim\; inf}$$d 1 (d)dk ( 12 - { nd} ), since from [AS] $i_k=I_k-{\left(\zeta (k+1)\right)}^{-}1$ and from the present paper $s_k=-i_k$. We show that $I_k$ belongs to an interval of the form$$\left(\frac{1}{2\zeta \left(k\right)}-\frac{1}{(k-1)N^{k-1}},\frac{1}{2\zeta \left(k\right)}\right),$$where $N=N\left(k\right)\to \infty$ as $k\to \infty$. From a more practical point of view we describe an algorithm capable of yielding arbitrary good approximations of $I_k$. We apply this algorithm...

In this paper, we are interested in exploring the cancellation of Hecke eigenvalues twisted with an exponential sums whose amplitude is √n at prime arguments.

We give a geometric definition of overconvergent modular forms of any $p$-adic weight. As an application, we reprove Coleman’s theory of $p$-adic families of modular forms and reconstruct the eigencurve of Coleman and Mazur without using the Eisenstein family.

This paper is a constructive investigation of the relationship between classical modular symbols and overconvergent $p$-adic modular symbols. Specifically, we give a constructive proof of acontrol theorem (Theorem 1.1) due to the second author [19] proving existence and uniqueness of overconvergent eigenliftings of classical modular eigensymbols of non-critical slope. As an application we describe a polynomial-time algorithm for explicit computation of associated $p$-adic $L$-functions in this case. In...

An overpartition pair is a combinatorial object associated with the $q$-Gauss identity and the ${}_1{\psi }_1$ summation. In this paper, we prove identities for certain restricted overpartition pairs using Andrews’ theory of recurrences for well-poised basic hypergeometric series and the theory of Bailey chains.