 a class of functions satisfying certain special entropy conditions that include the class of measurable sets. The behavior of various ratio-type empirical processes are also investigated. Applications of these sharp bounds to the models mentioned above are detailed in Section \[section:application\]. For clarity of presentation, proofs for some of the results in Section \[section:ep\_sharp\_bounds\] are deferred to the Appendix.

Notation {#section:notation}
--------

For a real-valued random variable $\xi$ and $1\leq p<\infty$, let ${\lVert\xi\rVert_{p}} := \big({\mathbb{E}}{\lvert\xi\rvert}^p\big)^{1/p} $ denote the ordinary $p$-norm.

For a real-valued measurable function $f$ defined on $(\mathcal{X},\mathcal{A},P)$, ${\lVertf\rVert_{L_p(P)}}\equiv {\lVertf\rVert_{P,p}}\equiv \big(P{\lvertf\rvert}^p)^{1/p}$ denotes the usual $L_p$-norm under $P$, and ${\lVertf\rVert_{\infty}}\equiv \sup_{x \in \mathcal{X}} {\lvertf(x)\rvert}$. $f$ is said to be $P$-centered if $Pf=0$. $L_p(g,B)$ denotes the $L_p(P)$-ball centered at $g$ with radius $B$. For simplicity we write $L_p(B)\equiv L_p(0,B)$. Throughout the article ${\varepsilon}_1,\ldots,{\varepsilon}_n$ will be i.i.d. Rademacher random variables independent of all other random variables. $C_{x}$ will denote a generic constant that depends only on $x$, whose numeric value may change from line to line unless otherwise specified. $a\lesssim_{x} b$ and $a\gtrsim_x b$ mean $a\leq C_x b$ and $a\geq C_x b$ respectively, and $a\asymp_x b$ means $a\lesssim_{x} b$ and $a\gtrsim_x b$ \[$a\lesssim b$ means $a\leq Cb$ for some absolute constant $C$\]. For two real numbers $a,b$, $a\vee b\equiv \max\{a,b\}$ and $a\wedge b\equiv\min
a class of functions satisfying certain limited information conditions that include the class of measurable set. The behavior of various proportion - type empirical processes are besides investigate. Applications of these astute bounds to the models note above are detail in Section \[section: application\ ]. For clarity of presentation, proofs for some of the results in part \[section: ep\_sharp\_bounds\ ] are deferred to the Appendix. 

 Notation { # section: notation } 
 -------- 

 For a very - valued random variable $ \xi$ and $ 1\leq p<\infty$, permit $ { \lVert\xi\rVert_{p } }: = \big({\mathbb{E}}{\lvert\xi\rvert}^p\big)^{1 / p } $ denote the average $ p$-norm. 

 For a real - measure measurable function $ f$ defined on $ (\mathcal{X},\mathcal{A},P)$, $ { \lVertf\rVert_{L_p(P)}}\equiv { \lVertf\rVert_{P, p}}\equiv \big(P{\lvertf\rvert}^p)^{1 / p}$ denotes the common $ L_p$-norm under $ P$, and $ { \lVertf\rVert_{\infty}}\equiv \sup_{x \in \mathcal{X } } { \lvertf(x)\rvert}$. $ f$ is said to be $ P$-centered if $ Pf=0$. $ L_p(g, B)$ denotes the $ L_p(P)$-ball centered at $ g$ with radius $ B$. For simplicity we write $ L_p(B)\equiv L_p(0,B)$. Throughout the article $ { \varepsilon}_1,\ldots,{\varepsilon}_n$ will be i.i.d. Rademacher random variable star independent of all other random variables. $ C_{x}$ will denote a generic constant that depends only on $ x$, whose numeric value may change from line to line unless differently stipulate. $ a\lesssim_{x } b$ and $ a\gtrsim_x b$ mean $ a\leq C_x b$ and $ a\geq C_x b$ respectively, and $ a\asymp_x b$ mean $ a\lesssim_{x } b$ and $ a\gtrsim_x b$ \[$a\lesssim b$ means $ a\leq Cb$ for some absolute constant $ C$ \ ]. For two real numbers $ a, b$, $ a\vee b\equiv \max\{a, b\}$ and $ a\wedge b\equiv\min
 a flass of functions satisnying certain spgcual envropy cknditionr that include the class of leqsuravle sets. The behavior uf varioud ratio-ttpe tmpirical processxa are also inbcstigctxd. Applications of these vharp bounds tm ghz models mentioned above are detaileq in Sevtlon \[section:appjicauiog\]. Fod clarity of presentation, proofs fkr some of the resulys in Section \[section:ep\_shagp\_boknds\] are deferred ho the Appebdix.

Gitation {#sectkon:notation}
--------

For a real-vzlued random variable $\xi$ and $1\led p<\inyty$, let ${\lVetc\zi\rGgrt_{p}} := \big({\matibb{E}}{\lvvrt\xi\rvert}^p\bin)^{1/i} $ denode the prdinary $p$-norm.

Nor a reql-valued measurable fnnction $f$ defined on $(\mathcal{X},\kachcal{A},P)$, ${\lVertf\rVert_{L_p(P)}}\ewuiv {\nVerdf\rVdet_{P,o}}\eqhit \bjg(P{\lvegtf\cvert}^p)^{1/p}$ denktes the usyal $L_p$-norm under $P$, snq ${\lVertf\rVert_{\ihfty}}\eqtid \sup_{x \in \mathcal{X}} {\lvertf(x)\rvert}$. $f$ is sapd tk be $P$-centered if $Pf=0$. $L_p(t,B)$ denotes the $L_p(P)$-balp centereq at $g$ with radius $B$. For simplicity we write $L_p(B)\exuiv M_o(0,B)$. Uhvjjthlut the article ${\varepsilon}_1,\ldots,{\varepsilon}_n$ wijm ne i.i.d. Rademachev random variables ijdrkendent of all other rahdom variables. $C_{x}$ aill degote q generic conxtant that depends only on $z$, whose numegic calue may change fxom line to uine unlexs otherwise specified. $c\lesssjm_{x} b$ and $a\htrsim_x b$ oean $a\leq C_x b$ avd $s\gaq C_x b$ respectively, and $a\wsymp_x b$ neanx $a\lessrim_{x} b$ and $a\gtrsim_x h$ \[$a\lesssim b$ means $a\leq Fb$ fot some absolute fonstant $C$\]. For two real numbers $a,b$, $a\vee b\equif \kax\{d,b\}$ and $a\cedge n\equiv\min
a class of functions satisfying certain special that the class measurable sets. The processes also investigated. Applications these sharp bounds the models mentioned above are detailed Section \[section:application\]. For clarity of presentation, proofs for some of the results in \[section:ep\_sharp\_bounds\] are deferred to the Appendix. Notation {#section:notation} -------- For a real-valued random $\xi$ $1\leq let := \big({\mathbb{E}}{\lvert\xi\rvert}^p\big)^{1/p} $ denote the ordinary $p$-norm. For a real-valued measurable function $f$ defined on $(\mathcal{X},\mathcal{A},P)$, {\lVertf\rVert_{P,p}}\equiv \big(P{\lvertf\rvert}^p)^{1/p}$ denotes the usual $L_p$-norm under $P$, ${\lVertf\rVert_{\infty}}\equiv \sup_{x \in \mathcal{X}} $f$ is said to be if $L_p(g,B)$ denotes $L_p(P)$-ball at with radius $B$. simplicity we write $L_p(B)\equiv L_p(0,B)$. Throughout the article ${\varepsilon}_1,\ldots,{\varepsilon}_n$ will be i.i.d. Rademacher random variables independent of other random will denote generic that only on $x$, value may change from line to specified. $a\lesssim_{x} b$ and $a\gtrsim_x b$ mean $a\leq b$ and C_x b$ respectively, and $a\asymp_x b$ $a\lesssim_{x} b$ and $a\gtrsim_x b$ \[$a\lesssim b$ means Cb$ for some absolute constant $C$\]. For two real numbers $a,b$, $a\vee b\equiv \max\{a,b\}$ and
 a class of functions satisfyiNg certain sPeciaL enTroPy CondItioNs that include tHE claSs of measurable sets. The bEhaviOr OF varIOuS ratiO-type emPIrICAl pRoCeSseS aRE aLso inVesTigated. applicatioNs oF tHese sharp bouNDs To the modelS meNtioned above Are DetailEd In SECtion \[SecTion:aPplicaTIon\]. For Clarity of PrESentatIOn, proofS FOr Some Of the results in SecTIoN \[Section:ep\_sharp\_Bounds\] ArE DeFERreD to The AppendiX.

NOtatiON {#sectioN:NoTATIon}
--------

fOr a real-valued Random variaBLe $\xI$ and $1\leQ p<\InfTY$, let ${\lVErt\xi\RVERt_{p}} := \Big({\mathbb{E}}{\lVert\Xi\rvert}^p\bIg)^{1/p} $ denOTe the orDInary $p$-nOrm.

For A reAl-vAlueD MeAsUraBlE FunCTiOn $f$ DEfiNed on $(\matHcAl{x},\mathCal{A},p)$, ${\LvERtf\rverT_{L_p(P)}}\Equiv {\LVertf\rVert_{P,p}}\EquIv \biG(p{\lvErtf\rVert}^p)^{1/P}$ denOtEs the Usual $L_P$-norm UnDer $P$, and ${\lVertf\rVErt_{\iNfty}}\equiv \Sup_{X \iN \maThCal{X}} {\lVErtf(x)\rVerT}$. $f$ iS said to Be $P$-centERed If $pF=0$. $l_P(g,b)$ denotes the $L_p(P)$-ball CeNTErEd at $g$ witH radiuS $b$. FOr SImplicitY wE wrIte $L_P(b)\Equiv l_p(0,B)$. THRoUghout thE articLE ${\vArEpsilon}_1,\LdOts,{\varEpSilOn}_n$ Will bE I.i.d. RAdemacHer randoM variABles independenT Of all other ranDOm VARiABles. $c_{x}$ wIll denote a gEnerIC conStanT ThAt dEPends Only oN $x$, WHoSE numeric value may chaNgE from lIne to Line unless othErwise specIFIEd. $a\lesssIm_{x} b$ ANd $A\Gtrsim_x b$ mean $a\lEq C_x b$ And $a\geq C_x b$ REspectivEly, anD $a\asymp_x B$ means $a\leSSSim_{x} b$ and $A\gtRsiM_x b$ \[$A\leSSSiM b$ means $a\leq Cb$ FOR somE aBsolute ConStant $C$\]. FOr tWo rEal NumBeRs $a,b$, $a\vee b\Equiv \max\{A,b\}$ AnD $a\WeDge B\equiV\Min
 a class of functions sati sfying cer tainspe cia lentr opyconditions tha t  inc lude the class of meas urabl es ets. Th e beh avior o f  v a r iou sra tio -t y pe  empi ric al proc esses areals oinvestigated .  A pplication s o f these shar p b oundsto  th e  mode lsmenti oned a b ove ar e detaile di n Sect i on \[se c t io n:ap plication\]. Forc la r ity of present ation,  p r oo f s  fo r s ome of the  r esult s  in Sec t io n \ [se c tion:ep\_shar p\_bounds\] are  defer re d t o  the A ppend ix . 

N otation {#s ecti on:notati on}
-- - -----
F or a re al-val ued  ra ndom va ri abl e$ \xi $  a nd$ 1\l eq p<\in ft y$ , let  ${\ l V e r t\xi \rV ert_ {p}}:= \big({\mat hbb {E}} { \lv ert\x i\rve rt}^ p\ big)^ {1/p}$ den ot e the ordinary$p$- norm.

Fo r a  r eal -v alued measur abl e f unction  $f$ de f ine do n $( \mathcal{X},\mathc al { A }, P)$, ${\ lVertf \ rV er t _{L_p(P) }} \eq uiv{ \ lVert f\rV e rt _{P,p}}\ equiv\ bi g( P{\lver tf \rvert }^ p)^ {1/ p}$ d e note s theusual $L _p$-n o rm under $P$,a nd ${\lVertf\ r Ve r t _{ \ inft y}} \equiv \sup _{x\ in \ math c al {X} }  {\lv ertf( x) \ rv e rt}$. $f$ is said t obe $P$ -cent ered if $Pf=0 $. $L_p(g, B ) $  denotes  the $L _ p(P)$-ball cen tered  at $g$ wi t h radius  $B$.  For sim plicity w e write $L _p( B)\ equ ivL _ p( 0,B)$. Throug h o ut t he  articl e $ {\varep sil on} _1, \ld ot s,{\varep silon}_n $wi ll  b e i .i.d. Rademach er  ra nd omvaria b les in depen dent  o fa llother r a nd o m  var ia bl es.$C_ {x }$ wi ll d e not e a gen eric cons tan t  tha tde pends o nly on $x$, w ho se numeric  v alu e mayc h ange fro m line to line unless o t herwise  sp ecifi ed.$a\lesssi m_{ x} b$and $a\gtr sim_xb$ me an  $a \ l eq C_ x b$  an d$a\geq C_x b $ r espec ti vely , and $ a\asymp_x b$ means $a\ lesssim_{x} b $ a nd $ a \ gt rsi m _x b$\[ $ a\l e s ssim b$ means $ a\leq Cb$fo r  s ome absolu t e c on stant $ C$\]. F or tw o  real n umbers $a ,b$, $a\v ee  b\e q u iv\max\{a,b\ }$ and $ a\wedge b \ equiv \ mi n
 a_class of_functions satisfying certain special_entropy conditions_that_include the_class_of measurable sets._The behavior of_various ratio-type empirical processes_are also investigated._Applications_of these sharp bounds to the models mentioned above are detailed in Section \[section:application\]._For_clarity of_presentation,_proofs_for some of the results_in Section \[section:ep\_sharp\_bounds\] are deferred_to the_Appendix.

Notation {#section:notation}
--------

For a real-valued random variable $\xi$ and_$1\leq_p<\infty$, let ${\lVert\xi\rVert_{p}}_:= \big({\mathbb{E}}{\lvert\xi\rvert}^p\big)^{1/p} $ denote the ordinary $p$-norm.

For a real-valued_measurable function $f$ defined on $(\mathcal{X},\mathcal{A},P)$,_${\lVertf\rVert_{L_p(P)}}\equiv {\lVertf\rVert_{P,p}}\equiv \big(P{\lvertf\rvert}^p)^{1/p}$_denotes_the_usual $L_p$-norm under $P$,_and ${\lVertf\rVert_{\infty}}\equiv \sup_{x \in \mathcal{X}} {\lvertf(x)\rvert}$._$f$ is said to be $P$-centered_if $Pf=0$. $L_p(g,B)$ denotes the $L_p(P)$-ball centered_at $g$ with radius $B$. For_simplicity we write $L_p(B)\equiv L_p(0,B)$._Throughout the_article ${\varepsilon}_1,\ldots,{\varepsilon}_n$ will be i.i.d._Rademacher random variables_independent of_all other random_variables. $C_{x}$ will denote a generic_constant that depends_only on $x$, whose numeric value_may_change from line_to_line_unless otherwise_specified. $a\lesssim_{x} b$_and_$a\gtrsim_x b$_mean_$a\leq C_x b$ and $a\geq C_x_b$_respectively, and $a\asymp_x b$ means $a\lesssim_{x} b$_and $a\gtrsim_x b$ \[$a\lesssim_b$_means $a\leq Cb$ for_some absolute constant $C$\]. For_two real numbers $a,b$, $a\vee b\equiv_\max\{a,b\}$ and_$a\wedge b\equiv\min