) = 0$ by [@Kaw85b Theorem 8.2].

Arguing by contradiction, assume that there exists $p\geq1$ and an infinite set $\mathcal T\subseteq \Z$ such that $$H^0\big(Y,(\Omega^1_Y)^{\otimes p} \otimes \OO_Y(m\pi^*K_X)\big) \neq 0$$ for all $m\in\mathcal T$. Denote $\mathcal E=(\Omega^1_Y)^{\otimes p} $ and $Z=\PS(\mathcal E)$ with the projection $f\colon Z\to Y$. First note that $$H^0\big(Y,\mathcal E\otimes \OO_Y(m\pi^*K_X)\big)\simeq H^0\big(Z,\OO_Z(1)\otimes f^*\OO_Y(m\pi^*K_X)\big).$$ Since $K_X$ is pseudoeffective and not numerically trivial, the line bundle $\OO_Z(1)\otimes f^*\OO_Y(m\pi^*K_X)$ is not pseudoeffective for $m\ll0$, hence there are only finitely many negative integers in $\mathcal{T}$. Therefore, we may assume that $\mathcal T\subseteq\N$.

Every nontrivial section of $H^0\big(Y,\mathcal E \otimes \OO_Y(m\pi^*K_X)\big)$ gives an inclusion $\OO_Y(-m\pi^*K_X)\to \mathcal E$, and let $\mathcal F \subseteq\mathcal E$ be the image of the map $$\textstyle\bigoplus_{m\in \mathcal T}\OO_Y(-m\pi^*K_X)\to \mathcal E.$$ Then $\mathcal F$ is quasi-coherent by [@Har77 Proposition II.5.7], and therefore a torsion free coherent sheaf as it is a subsheaf of the torsion free coherent sheaf $\mathcal E$. Let $r$ be the rank of $\mathcal F$. We may assume that there exist infinitely many $r$-tuples $(m_1,\dots,m_r)$ such that the image of the map $$\label{eq:inclusion}
\OO_Y(-m_1\pi^*K_X)\oplus\cdots\oplus\OO_Y(-m_r\pi^*K_X)\to\mathcal F$$
) = 0 $ by [ @Kaw85b Theorem 8.2 ]. 

 Arguing by contradiction, assume that there exists $ p\geq1 $ and an infinite specify $ \mathcal T\subseteq \Z$ such that $ $ H^0\big(Y,(\Omega^1_Y)^{\otimes p } \otimes \OO_Y(m\pi^*K_X)\big) \neq 0$$ for all $ m\in\mathcal T$. Denote $ \mathcal E=(\Omega^1_Y)^{\otimes phosphorus } $ and $ Z=\PS(\mathcal E)$ with the projection $ f\colon Z\to Y$. First note that $ $ H^0\big(Y,\mathcal E\otimes \OO_Y(m\pi^*K_X)\big)\simeq H^0\big(Z,\OO_Z(1)\otimes f^*\OO_Y(m\pi^*K_X)\big).$$ Since $ K_X$ is pseudoeffective and not numerically fiddling, the cable bundle $ \OO_Z(1)\otimes f^*\OO_Y(m\pi^*K_X)$ is not pseudoeffective for $ m\ll0 $, hence there be entirely finitely many negative integer in $ \mathcal{T}$. consequently, we may assume that $ \mathcal T\subseteq\N$. 

 Every nontrivial section of $ H^0\big(Y,\mathcal east \otimes \OO_Y(m\pi^*K_X)\big)$ gives an inclusion $ \OO_Y(-m\pi^*K_X)\to \mathcal E$, and lease $ \mathcal F \subseteq\mathcal E$ be the image of the map $ $ \textstyle\bigoplus_{m\in \mathcal T}\OO_Y(-m\pi^*K_X)\to \mathcal E.$$ Then $ \mathcal F$ is quasi - coherent by [ @Har77 Proposition II.5.7 ], and therefore a torsion free coherent bundle as it is a subsheaf of the torsion free coherent sheaf $ \mathcal E$. get $ r$ be the rank of $ \mathcal F$. We may assume that there exist boundlessly many $ r$-tuples $ (m_1,\dots, m_r)$ such that the image of the function $ $ \label{eq: inclusion } 
 \OO_Y(-m_1\pi^*K_X)\oplus\cdots\oplus\OO_Y(-m_r\pi^*K_X)\to\mathcal F$$
) = 0$ hy [@Kaw85b Theorem 8.2].

Arguing ny contradiction, assume that fhere exksts $p\geq1$ and an infinite sev $\marhcal T\subseteq \Z$ such that $$H^0\big(Y,(\Omeha^1_Y)^{\otimew p} \irimes \OO_Y(m\'j^*K_X)\big) \kzq 0$$ fkv all $n\in\mathcal T$. Dgnote $\mathcan E=(\Omega^1_Y)^{\otimev o} $ and $Z=\PS(\mathcal E)$ with the projectijn $f\colpn Z\to Y$. First njte uhae $$H^0\bjg(Y,\mathcal E\otimes \OO_Y(m\pi^*K_X)\big)\simes H^0\big(Z,\MO_Z(1)\otimes f^*\OO_U(m\pi^*K_X)\big).$$ Since $K_X$ is pseufoefvective and not nulerically ttjviwo, the line bjndle $\OO_Z(1)\ouikes f^*\OO_Y(m\pj^*K_X)$ is not pseudoeffective for $o\ll0$, hznce there qrw ojny finitely many negative inbvgers it $\mathcsl{T}$. Therefore, ee kay assume that $\mathcal V\subseteq\N$.

Every nonttivial secdikn of $H^0\big(Y,\mathcao W \otikes \MO_Y(m\ou^*K_X)\cig)$ gmvea an ijclnsion $\OO_Y(-m\pj^*K_X)\to \mathcql E$, and let $\mathcak S \subseteq\mathdal E$ fe the image of the map $$\textstyle\bigoplus_{k\in \mathcal T}\OO_Y(-m\pi^*K_X)\to \marhcal E.$$ Then $\mathcal V$ is quasy-coherent by [@Har77 Proposition II.5.7], and therefore a tmrsioi wret gjfwrfnt sheaf as it is a subsheaf of the torsion sdet cpherent sheaf $\iathcal E$. Lrt $r$ fe the rank ow $\mathezl F$. We may assume tjat thete exiwt infiniuely kany $r$-tuples $(m_1,\dots,m_r)$ such tyat the imagv of the map $$\label{eq:inelusion}
\OO_Y(-m_1\pn^*K_X)\oplos\cdotx\oplus\OO_Y(-m_r\pi^*K_X)\to\mathcau F$$
) = 0$ by [@Kaw85b Theorem 8.2]. contradiction, that there $p\geq1$ and an such $$H^0\big(Y,(\Omega^1_Y)^{\otimes p} \otimes \neq 0$$ for $m\in\mathcal T$. Denote $\mathcal E=(\Omega^1_Y)^{\otimes p} and $Z=\PS(\mathcal E)$ with the projection $f\colon Z\to Y$. First note that $$H^0\big(Y,\mathcal \OO_Y(m\pi^*K_X)\big)\simeq H^0\big(Z,\OO_Z(1)\otimes f^*\OO_Y(m\pi^*K_X)\big).$$ Since $K_X$ is pseudoeffective and not numerically trivial, the line $\OO_Z(1)\otimes is pseudoeffective $m\ll0$, hence there are only finitely many negative integers in $\mathcal{T}$. Therefore, we may assume that T\subseteq\N$. Every nontrivial section of $H^0\big(Y,\mathcal E \otimes gives an inclusion $\OO_Y(-m\pi^*K_X)\to E$, and let $\mathcal F E$ the image the $$\textstyle\bigoplus_{m\in T}\OO_Y(-m\pi^*K_X)\to \mathcal E.$$ $\mathcal F$ is quasi-coherent by [@Har77 Proposition II.5.7], and therefore a torsion free coherent sheaf as it a subsheaf torsion free sheaf E$. $r$ be the $\mathcal F$. We may assume that many $r$-tuples $(m_1,\dots,m_r)$ such that the image of map $$\label{eq:inclusion} F$$
) = 0$ by [@Kaw85b Theorem 8.2].

Arguing by conTradiction, AssumE thAt tHeRe exIsts $P\geq1$ and an infinITe seT $\mathcal T\subseteq \Z$ such That $$H^0\BiG(y,(\OmeGA^1_Y)^{\OtimeS p} \otimeS \oO_y(M\Pi^*K_x)\bIg) \Neq 0$$ FoR AlL $m\in\mAthCal T$. DenOte $\mathcal e=(\OmEgA^1_Y)^{\otimes p} $ and $z=\pS(\Mathcal E)$ wiTh tHe projection $F\coLon Z\to y$. FIrsT Note tHat $$h^0\big(Y,\MathcaL e\otimeS \OO_Y(m\pi^*K_X)\BiG)\Simeq H^0\BIg(Z,\OO_Z(1)\oTIMeS f^*\OO_y(m\pi^*K_X)\big).$$ Since $K_X$ iS PsEUdoeffective anD not nuMeRIcALLy tRivIal, the line BuNdle $\Oo_z(1)\otimes F^*\oO_y(M\PI^*K_X)$ IS not pseudoeffEctive for $m\lL0$, HenCe therE aRe oNLy finiTely mAnY NegAtive integeRs in $\Mathcal{T}$. THerefoRE, we may aSSume thaT $\mathcAl T\SubSeteQ\n$.

EVeRy nOnTRivIAl SecTIon Of $H^0\big(Y,\mAtHcAl E \otImes \oo_y(M\Pi^*K_X)\Big)$ GiveS an inClusion $\OO_Y(-m\pi^*k_X)\tO \matHCal e$, and lEt $\matHcal f \sUbsetEq\mathCal E$ bE tHe image of the map $$\TextStyle\bigoPluS_{m\In \mAtHcal T}\oo_Y(-m\pi^*K_x)\to \MatHcal E.$$ ThEn $\mathcAL F$ iS qUASI-cOherent by [@Har77 ProposItION Ii.5.7], and therEfore a TOrSiON free cohErEnt SheaF AS it is A subSHeAf of the tOrsion FReE cOherent ShEaf $\matHcAl E$. let $R$ be thE Rank Of $\mathCal F$. We maY assuME that there exisT Infinitely manY $R$-tUPLeS $(M_1,\dotS,m_r)$ Such that the ImagE Of thE map $$\LAbEl{eQ:IncluSion}
\Oo_Y(-M_1\Pi^*k_x)\oplus\cdots\oplus\OO_Y(-M_r\Pi^*K_X)\to\MathcAl F$$
) = 0$ by [@Kaw85b Theorem  8.2].

Ar guing  by  co nt radi ctio n, assume that ther e exists $p\geq1$ andan in fi n ites et  $\ma thcal T \ su b s ete q\Z $ s uc h  t hat $ $H^ 0\big(Y ,(\Omega^1 _Y) ^{ \otimes p} \ o ti mes \OO_Y( m\p i^*K_X)\big)  \n eq 0$$  f ora ll $m \in \math cal T$ .  Denot e $\mathc al E=(\Om e ga^1_Y) ^ { \o time s p} $ and $Z=\PS ( \m a thcal E)$ with  the p ro j ec t i on$f\ colon Z\to  Y $. Fi r st note th a t $$H ^ 0\big(Y,\math cal E\otime s  \O O_Y(m\ pi ^*K _ X)\big )\sim eq H^0 \big(Z,\OO_ Z(1) \otimes f ^*\OO_ Y (m\pi^* K _X)\big ).$$ S inc e $ K_X$ is  p seu do e ffe c ti vea ndnot nume ri ca lly t rivi a l , thelin e bu ndle$\OO_Z(1)\oti mes  f^* \ OO_ Y(m\p i^*K_ X)$is  notpseudo effec ti ve for $m\ll0$,  hen ce thereare  o nly  f inite l y many  ne gat ive int egers i n  $\ ma t h c al {T}$. Therefore, w em a yassume t hat $\ m at hc a l T\subs et eq\ N$.E verynont r iv ial sect ion of $H ^0 \big(Y, \m athcal  E  \o tim es \O O _Y(m \pi^*K _X)\big) $ giv e s an inclusion $\OO_Y(-m\pi^ * K_ X ) \t o  \ma thc al E$, andlet$ \mat hcal F\su b seteq \math ca l  E $  be the image of th emap $$ \text style\bigoplu s_{m\in \m a t h cal T}\O O_Y( - m\ p i^*K_X)\to \ma thcal  E.$$ Then $\mathca l F$is quasi -coherent b y [@Har7 7 P rop osi tio n II .5.7], and th e r efor ea torsi onfree co her ent  sh eaf  a s it is a  subshea fof  t he  to rsion free coh er ent  s hea f $\m a thcalE$. L et $ r$  b e  th e ranko f$ \ math ca lF$.Wema y ass umet hat  thereexist inf ini t elyma ny  $r$-tu ples $(m_1,\d ot s,m_r)$ su ch  th at the i mage ofthe map $$\label{eq:inc l usion}\OO _Y(-m _1\p i^*K_X)\o plu s\cdot s\o p lus\OO _Y(-m_ r\pi^ *K _X) \ t o\mat h c al  F$ $
) =_0$ by_[@Kaw85b Theorem 8.2].

Arguing by_contradiction, assume_that_there exists_$p\geq1$_and an infinite_set $\mathcal T\subseteq_\Z$ such that $$H^0\big(Y,(\Omega^1_Y)^{\otimes_p} \otimes \OO_Y(m\pi^*K_X)\big)_\neq_0$$ for all $m\in\mathcal T$. Denote $\mathcal E=(\Omega^1_Y)^{\otimes p} $ and $Z=\PS(\mathcal E)$ with_the_projection $f\colon_Z\to_Y$._First note that $$H^0\big(Y,\mathcal E\otimes_\OO_Y(m\pi^*K_X)\big)\simeq H^0\big(Z,\OO_Z(1)\otimes f^*\OO_Y(m\pi^*K_X)\big).$$ Since $K_X$_is pseudoeffective_and not numerically trivial, the line bundle $\OO_Z(1)\otimes_f^*\OO_Y(m\pi^*K_X)$_is not pseudoeffective_for $m\ll0$, hence there are only finitely many negative_integers in $\mathcal{T}$. Therefore, we may_assume that $\mathcal_T\subseteq\N$.

Every_nontrivial_section of $H^0\big(Y,\mathcal E_\otimes \OO_Y(m\pi^*K_X)\big)$ gives an inclusion $\OO_Y(-m\pi^*K_X)\to_\mathcal E$, and let $\mathcal F_\subseteq\mathcal E$ be the image of the_map $$\textstyle\bigoplus_{m\in \mathcal T}\OO_Y(-m\pi^*K_X)\to \mathcal E.$$_Then $\mathcal F$ is quasi-coherent_by [@Har77_Proposition II.5.7], and therefore a_torsion free coherent_sheaf as_it is a_subsheaf of the torsion free coherent_sheaf $\mathcal E$._Let $r$ be the rank of_$\mathcal_F$. We may_assume_that_there exist_infinitely many $r$-tuples_$(m_1,\dots,m_r)$_such that_the_image of the map $$\label{eq:inclusion}
\OO_Y(-m_1\pi^*K_X)\oplus\cdots\oplus\OO_Y(-m_r\pi^*K_X)\to\mathcal F$$