$\DeclareMathOperator\lcm{lcm}$Let $p\_k$ be the $k$th prime number. Set $$L(n) = \lcm(p\_1-1, p\_2-1, \dotsc, p\_n-1). $$


What can we say about the growth of $L(n)$? Trivially, one has that $L(n) < p\_1p\_2 \dotsb p\_n$.
One can do better than that since after $2$, every prime is odd. Thus, if $n \geq 3$, one has $$L(n) \leq \frac{p\_1p\_2 \cdots p\_n}{2^{n-1}}.$$ And one can continue with larger primes, using explicit versions of Dirichlet's theorem on arithmetic progressions, to put in powers of 3, and then 5, and so on in the denominator in the same way.


In the other direction, one can use Linnik's theorem to get lower bounds on $L(n)$ but these are weak.


$L(n)$ is [A058254](https://oeis.org/A058254) in the OEIS, but that doesn't give any non-trivial bounds, even heuristically.


Question: Can we get an asymptotic to $\log L(n)$, ideally with explicit bounds? Closely related: is it true that $\log L(n) = o(p\_n)$? This is a natural bound to ask about because $\log \lcm (p\_1, p\_2 \cdots p\_n ) = \sum\_{p \leq p\_n} \log p \sim p\_n$ by the Prime Number Theorem.


For the application I'm interested in, I'd like to then use this to get explicit bounds on $\lcm (p\_{n}-1, p\_{n+1}-1, p\_{n+2}-1, \dotsc, p\_{n+m}-1)$ where $m$ is at least about $n^2$, and I would like that $\log \lcm (p\_{n}-1, p\_{n+1}-1, p\_{n+2}-1, \dotsc, p\_{n+m}-1)$ grows slower than $\sum\_{p\_n \leq p \leq p\_{n+m}} \log p \sim p\_{n+m}$. So it may be possible to get a useful bound even without an asymptotic for $L(n)$.



Asymptotics of $\operatorname{lcm} ((2-1), (3-1), (5-1), (7-1), (11-1), \dotsc, p_n-1 )$
It is true that $\ln L(n)=o(p\_n)$ for $n\to+\infty$. To prove it, let us get a bound for contribution of large primes into $\ln L(n)$ and then estimate the contribution of the rest trivially. Choose a parameter $R<\sqrt p\_n$. Let $M(n)=\mathrm{lcm}[1,2,\ldots,p\_n]$. Then we have $\ln M(n)=\psi(p\_n)\sim p\_n$, where $\psi$ is Chebyshev's function. Now,
$$
\sum\_{p^k\mid L(n), p<p\_n/R}\ln p\leq \sum\_{p^k\mid M(n),p<p\_n/R}\ln p=O(p\_n/R).
$$
Next, if $p\geq p\_n/R$ contributes to $\ln L(n)$, then there is a natural number $k\leq R$ and a prime $q\leq p\_n$ such that $q-1=kp$. We will evaluate the terms that come from different $k$. As $q\leq p\_n$, for a given $k$ we should have $p<p\_n/k$. The number of primes $p<x$ such that $kp+1$ is prime is known to be bounded by
$$
C\frac{k}{\varphi(k)}\frac{x}{\ln^2 x}
$$
(see, for example, H. Iwaniec, "Sieve methods", Section 2.6). Applying this to our case, we get the bound of the form
$$
O\left(\frac{1}{\varphi(k)}\frac{p\_n}{\ln^2 p\_n}\right)
$$
for the number of primes we are interested in, and their contribution is, therefore,
$$
O\left(\frac{1}{\varphi(k)}\frac{p\_n}{\ln p\_n}\right)
$$
for any $k\leq R$. Summing over all $k$ and using the fact that
$$
\sum\_{k\leq R}\frac{1}{\varphi(k)}=C\_1\ln R+O(1),
$$
we obtain
$$
\sum\_{p^k\mid L(n), p\geq p\_n/R}\ln p=O\left(\frac{p\_n\ln R}{\ln p\_n}\right).
$$
Combining the first and the second estimate and choosing $R=\ln p\_n$, we get
$$
\ln L(n)=O\left(\frac{p\_n\ln\ln p\_n}{\ln p\_n}\right).
$$
The results used in the proof do not rely on anything particularly non-explicit, so the constants can be made completely explicit. Also, the bound for the number of primes of the form $kp+1$ is conjectured to be sharp, so the bound should probably also be asymptotically sharp, unless I am missing something.


