 Lemma \[lp1\]. The number of integers $n \leq X$ with $P(\frac{\lambda(n)}{\ell^*_a(n)}) \geq \psi(X)$ is $O(\frac{X \log \log \psi(X)}{\log \psi(X)}).$

Suppose that $n \leq X$ and $q = P(\lambda(n)/\ell^*_a(n)) \geq \psi(X).$ We may assume that $X$ is large, so $a$ is not a $q^{th}$ power and $\psi(X) > a$. Moreover, as we will now show, it must be the case that either $q^2 \mid n$ or $p \mid n$ for some $p \in A_q$. Observe that $$q \mid \frac{\lambda(n)}{\ell^*_a(n)} \mid \frac{\mathrm{lcm}_{p^{e} \mid \mid n} \left[\lambda(p^{e})\right]}{\mathrm{lcm}_{p^{e} \mid \mid n} \left[\ell^*_a(p^e)\right]} \mid \mathrm{lcm}_{p^{e} \mid \mid n} \left[\frac{\lambda(p^e)}{\ell^*_a(p^e)}\right].$$ In particular, $q$ must divide $\frac{\lambda(p^e)}{\ell^*_a(p^e)}$ for some prime $p$. If $q = p,$ then $q \mid \lambda(p^{e})$ implies that $e \geq 2,$ so $q^2 \mid n.$ If $q \neq p$, then $q \mid \frac{\lambda(p)}{\ell^*_a(p)}$, so $p > q > \psi(X) > a$. Thus, $\ell^*_a(p) = \ell_a(p) \mid \frac{p-1}{q}$, so $p \mid a^{\frac{p-1}{q}} - 1,$ which implies that $p \in A_q.$

To handle the case where $q^2 \mid n$, we observe that $$\begin{aligned}
\#\{n \leq X: q^2 \mid n \ \hbox{for some prime} \ q \geq \psi(X)\} & \leq \sum_{\substack{q \geq
Lemma \[lp1\ ]. The number of integers $ n \leq X$ with $ P(\frac{\lambda(n)}{\ell^*_a(n) }) \geq \psi(X)$ is $ O(\frac{X \log \log \psi(X)}{\log \psi(X)}).$ 

 Suppose that $ newton \leq X$ and $ q = P(\lambda(n)/\ell^*_a(n) ) \geq \psi(X).$ We may wear that $ X$ is large, so $ a$ is not a $ q^{th}$ power and $ \psi(X) > a$. furthermore, as we will now show, it must be the case that either $ q^2 \mid n$ or $ phosphorus \mid n$ for some $ phosphorus \in A_q$. Observe that $ $ q \mid \frac{\lambda(n)}{\ell^*_a(n) } \mid \frac{\mathrm{lcm}_{p^{e } \mid \mid n } \left[\lambda(p^{e})\right]}{\mathrm{lcm}_{p^{e } \mid \mid n } \left[\ell^*_a(p^e)\right ] } \mid \mathrm{lcm}_{p^{e } \mid \mid n } \left[\frac{\lambda(p^e)}{\ell^*_a(p^e)}\right].$$ In particular, $ q$ must divide $ \frac{\lambda(p^e)}{\ell^*_a(p^e)}$ for some prime $ p$. If $ q = p,$ then $ q \mid \lambda(p^{e})$ implies that $ e \geq 2,$ indeed $ q^2 \mid n.$ If $ q \neq p$, then $ q \mid \frac{\lambda(p)}{\ell^*_a(p)}$, so $ p > q > \psi(X) > a$. therefore, $ \ell^*_a(p) = \ell_a(p) \mid \frac{p-1}{q}$, so $ p \mid a^{\frac{p-1}{q } } - 1,$ which implies that $ p \in A_q.$ 

 To handle the case where $ q^2 \mid n$, we observe that $ $ \begin{aligned } 
 \#\{n \leq X: q^2 \mid n \ \hbox{for some premier } \ q \geq \psi(X)\ } & \leq \sum_{\substack{q \geq
 Lelma \[lp1\]. The number of inttgers $n \leq X$ witk $P(\frac{\nambda(h)}{\ell^*_a(n)}) \gdq \psi(X)$ is $O(\frac{X \log \log \psm(X)}{\lot \psi(Z)}).$

Suppose that $n \leq X$ xnd $q = P(\lwmbda(n)/\elo^*_a(n)) \jeq \psi(X).$ We may easume tmct $X$ jd laxgx, so $a$ is not a $q^{th}$ power and $\psi(X) > a$. Mmrdorer, as we will now show, it must be tre case tjat either $q^2 \myd n$ jr $p \mid n$ for some $p \in A_q$. Observe thzt $$q \miv \frac{\lambda(n)}{\elk^*_a(n)} \mid \frac{\mathrm{lcm}_{p^{e} \mif \mif n} \left[\lambda(p^{e})\rihht]}{\mathrm{lcn}_{p^{e} \iud \mid n} \lefg[\ell^*_a(p^e)\right]} \mid \mathrj{lcm}_{p^{e} \mid \mid n} \left[\frac{\lambda(o^e)}{\ell^*_c(p^e)}\right].$$ In pqrtlwular, $q$ musv diviqe $\frac{\lambda(p^e)}{\ell^*_a(p^a)}$ for spme prime $p$. If $q = p,$ rhen $q \mid \lambda(p^{e})$ ikplies that $e \geq 2,$ so $q^2 \mid n.$ If $q \neq p$, then $w \nid \ftac{\lakbda(o)}{\wll^*_x(p)}$, ao $p > q > \pdi(X) > a$. Thus, $\eml^*_a(p) = \ell_a(p) \mid \frac{p-1}{q}$, so $p \mic w^{\drac{p-1}{q}} - 1,$ whicg implyef that $p \in A_q.$

To handle the case where $x^2 \mjd n$, we observe that $$\betin{aligned}
\#\{n \leq X: q^2 \mld n \ \hbov{for some prime} \ q \geq \psi(X)\} & \leq \sum_{\substack{q \geq
Lemma \[lp1\]. The number of integers $n with \geq \psi(X)$ $O(\frac{X \log \log \leq and $q = \geq \psi(X).$ We assume that $X$ is large, so is not a $q^{th}$ power and $\psi(X) > a$. Moreover, as we will show, it must be the case that either $q^2 \mid n$ or $p n$ some \in Observe that $$q \mid \frac{\lambda(n)}{\ell^*_a(n)} \mid \frac{\mathrm{lcm}_{p^{e} \mid \mid n} \left[\lambda(p^{e})\right]}{\mathrm{lcm}_{p^{e} \mid \mid n} \left[\ell^*_a(p^e)\right]} \mid \mid \mid n} \left[\frac{\lambda(p^e)}{\ell^*_a(p^e)}\right].$$ In particular, $q$ must $\frac{\lambda(p^e)}{\ell^*_a(p^e)}$ for some prime If $q = p,$ then \mid implies that \geq so \mid n.$ If \neq p$, then $q \mid \frac{\lambda(p)}{\ell^*_a(p)}$, so $p > q > \psi(X) > a$. Thus, $\ell^*_a(p) = \mid \frac{p-1}{q}$, \mid a^{\frac{p-1}{q}} 1,$ implies $p \in A_q.$ the case where $q^2 \mid n$, $$\begin{aligned} \#\{n \leq X: q^2 \mid n \ some prime} q \geq \psi(X)\} & \leq \sum_{\substack{q
 Lemma \[lp1\]. The number of integerS $n \leq X$ with $p(\frac{\LamBda(N)}{\eLl^*_a(n)}) \Geq \pSi(X)$ is $O(\frac{X \log \LOg \psI(X)}{\log \psi(X)}).$

Suppose that $n \lEq X$ anD $q = p(\LambDA(n)/\Ell^*_a(n)) \Geq \psi(X).$ wE mAY AssUmE tHat $x$ iS LaRge, so $A$ is Not a $q^{th}$ Power and $\psI(X) > a$. moReover, as we wiLL nOw show, it muSt bE the case that EitHer $q^2 \miD n$ Or $p \MId n$ foR soMe $p \in a_q$. ObseRVe that $$Q \mid \frac{\lAmBDa(n)}{\ell^*_A(N)} \mid \fraC{\MAtHrm{lCm}_{p^{e} \mid \mid n} \left[\laMBdA(P^{e})\right]}{\mathrm{lCm}_{p^{e} \miD \mID n} \LEFt[\eLl^*_a(P^e)\right]} \mid \MaThrm{lCM}_{p^{e} \mid \mID n} \LEFT[\frAC{\lambda(p^e)}{\ell^*_a(P^e)}\right].$$ In paRTicUlar, $q$ mUsT diVIde $\fraC{\lambDa(P^E)}{\elL^*_a(p^e)}$ for some PrimE $p$. If $q = p,$ theN $q \mid \lAMbda(p^{e})$ iMPlies thAt $e \geq 2,$ So $q^2 \Mid N.$ If $q \NEq P$, tHen $Q \mID \frAC{\lAmbDA(p)}{\eLl^*_a(p)}$, so $p > q > \PsI(X) > A$. Thus, $\Ell^*_a(P) = \ELL_A(p) \miD \frAc{p-1}{q}$, So $p \miD a^{\frac{p-1}{q}} - 1,$ which ImpLies THat $P \in A_q.$

to hanDle tHe Case wHere $q^2 \mId n$, we ObServe that $$\begin{aLignEd}
\#\{n \leq X: q^2 \mId n \ \HbOx{fOr Some pRIme} \ q \geQ \psI(X)\} & \lEq \sum_{\suBstack{q \GEq
 Lemma \[lp1\]. The number  of intege rs $n  \l eqX$  wit h $P (\frac{\lambda ( n)}{ \ell^*_a(n)}) \geq \ps i(X)$  i s  $O( \ fr ac{X\log \l o g\ p si( X) }{ \lo g\ ps i(X)} ).$ 

Suppo se that $n  \l eq  X$ and $q = P( \lambda(n) /\e ll^*_a(n)) \ geq  \psi( X) .$W e may  as sumethat $ X $ is l arge, so$a $  is no t  a $q^{ t h }$  pow er and $\psi(X) > a$ .  Moreover, aswe wil ln ow s how , i t must beth e cas e  that e i th e r $q^ 2  \mid n$ or $ p \mid n$ f o r s ome $p  \ inA _q$. O bserv et hat  $$q \mid \ frac {\lambda( n)}{\e l l^*_a(n ) } \mid\frac{ \ma thr m{lc m }_ {p ^{e }\ mid \m idn } \ left[\la mb da (p^{e })\r i g h t ]}{\ mat hrm{ lcm}_ {p^{e} \mid \ mid  n}\ lef t[\el l^*_a (p^e )\ right ]} \mi d \ma th rm{lcm}_{p^{e}\mid  \mid n}\le ft [\f ra c{\la m bda(p^ e)} {\e ll^*_a( p^e)}\r i ght ]. $ $ In  particular, $q$ m us t di vide $\f rac{\l a mb da ( p^e)}{\e ll ^*_ a(p^ e ) }$ fo r so m eprime $p $. If$ q=p,$ the n$q \mi d\la mbd a(p^{ e })$implie s that $ e \ge q  2,$ so $q^2 \ m id n.$ If $q\ ne q p$ ,  the n $ q \mid \fra c{\l a mbda (p)} { \e ll^ * _a(p) }$, s o$ p>  q > \psi(X) > a$.Th us, $\ ell^* _a(p) = \ell_ a(p) \mid\ f r ac{p-1}{ q}$, so $p \mid a^{\fr ac{p- 1}{q}} - 1 , $ whichimpli es that$p \in A_ q . $

To ha ndl e t hecas e wh ere $q^2 \mid n $, w eobserve  th at $$\b egi n{a lig ned }\#\{n \le q X: q^2  \ mi dn\ \ hbox{ f or somepr ime }\ q  \geq \psi(X )\} &  \le q\s u m_{ \substa c k{ q \geq 
 Lemma_\[lp1\]. The_number of integers $n_\leq X$_with_$P(\frac{\lambda(n)}{\ell^*_a(n)}) \geq_\psi(X)$_is $O(\frac{X \log_\log \psi(X)}{\log \psi(X)}).$

Suppose_that $n \leq X$_and $q =_P(\lambda(n)/\ell^*_a(n))_\geq \psi(X).$ We may assume that $X$ is large, so $a$ is not a_$q^{th}$_power and_$\psi(X)_>_a$. Moreover, as we will_now show, it must be_the case_that either $q^2 \mid n$ or $p \mid_n$_for some $p_\in A_q$. Observe that $$q \mid \frac{\lambda(n)}{\ell^*_a(n)} \mid \frac{\mathrm{lcm}_{p^{e}_\mid \mid n} \left[\lambda(p^{e})\right]}{\mathrm{lcm}_{p^{e} \mid \mid_n} \left[\ell^*_a(p^e)\right]} \mid_\mathrm{lcm}_{p^{e}_\mid_\mid n} \left[\frac{\lambda(p^e)}{\ell^*_a(p^e)}\right].$$ In_particular, $q$ must divide $\frac{\lambda(p^e)}{\ell^*_a(p^e)}$ for_some prime $p$. If $q =_p,$ then $q \mid \lambda(p^{e})$ implies that_$e \geq 2,$ so $q^2 \mid_n.$ If $q \neq p$,_then $q_\mid \frac{\lambda(p)}{\ell^*_a(p)}$, so $p >_q > \psi(X)_> a$._Thus, $\ell^*_a(p) =_\ell_a(p) \mid \frac{p-1}{q}$, so $p \mid_a^{\frac{p-1}{q}} - 1,$_which implies that $p \in A_q.$

To_handle_the case where_$q^2_\mid_n$, we_observe that $$\begin{aligned}
\#\{n_\leq_X: q^2_\mid_n \ \hbox{for some prime} \_q_\geq \psi(X)\} & \leq \sum_{\substack{q \geq