 compact, $f^*_K$ is a well-defined probability density, and since $\dim K  \geq 1$, the density $f^*_K$ is non-vanishing $\nu^2_1$-almost surely. The second moment of the estimator is $$\label{2momentberegning}
{\mathbb{E}}_f \bigg(\frac{{\hat{\varphi}_{ij}(K \cap E)}}{f({\pi(E)})}\bigg)^2 
= 2R \int_{{\mathcal{L}}^2_1}V_1(K \vert L^\perp) \frac{g_{ij}(L)^2}{f(L)}\, \nu_1^2(dL),$$ where ${\mathbb{E}}_f$ denotes expectation with respect to the distribution of an $f$-weighted random line in ${{\mathbb R}}^2$ hitting $A$. The right-hand side of is the second moment of the random variable $$\frac{\sqrt{2RV_1(K \vert {L^{\perp}})}\,g_{ij}(L)}{f(L)},$$ where the distribution of the random line $L$ has density $f$ with respect to $\nu^2_1$. By [@Asmussen Chapter 5, Theorem 1.2] the second moment of this variable is minimized, when $f$ is proportional to $\sqrt{2RV_1(K \vert {L^{\perp}})}\, |g_{ij}(L)|$. Since the proof of [@Asmussen Chapter 5, Theorem 1.2] follows simply by an application of Jensen’s inequality to the function $t \mapsto t^2$, equality can be characterized due to the strict convexity of this function, (see, e.g., [@Gardner (B.4)]). Equality holds if and only if $\sqrt{2RV_1(K \vert {L^{\perp}})}\,|g_{ij}(L)|$ is a constant multiple of $f(L)$ (or equivalently $f = f_K^*$) almost surely.

The proof of Lemma \[lemmaopt\] generalizes directly to arbitrary dimension $n$. As a consequence of Lemma \[lemmaopt\], we obtain that for any convex body $K \in {{\mathcal K}}^2$, optimal non-isotropic sampling provides a strictly smaller variance of the estimator than isotropic sampling. Indeed, noting that with a constant function $f$ reduces to the usual estimator (
compact, $ f^*_K$ is a well - defined probability density, and since $ \dim K   \geq 1 $, the density $ f^*_K$ is non - fly $ \nu^2_1$-almost surely. The second here and now of the estimator is $ $ \label{2momentberegning } 
 { \mathbb{E}}_f \bigg(\frac{{\hat{\varphi}_{ij}(K \cap E)}}{f({\pi(E)})}\bigg)^2 
 = 2R \int_{{\mathcal{L}}^2_1}V_1(K \vert L^\perp) \frac{g_{ij}(L)^2}{f(L)}\, \nu_1 ^ 2(dL),$$ where $ { \mathbb{E}}_f$ denotes expectation with respect to the distribution of an $ f$-weighted random cable in $ { { \mathbb R}}^2 $ hitting $ A$. The right - hired hand side of is the second moment of the random variable star $ $ \frac{\sqrt{2RV_1(K \vert { L^{\perp}})}\,g_{ij}(L)}{f(L)},$$ where the distribution of the random credit line $ L$ has concentration $ f$ with respect to $ \nu^2_1$. By [ @Asmussen Chapter 5, Theorem 1.2 ] the second moment of this variable is minimized, when $ f$ is proportional to $ \sqrt{2RV_1(K \vert { L^{\perp}})}\, |g_{ij}(L)|$. Since the validation of [ @Asmussen Chapter 5, Theorem 1.2 ] follows simply by an lotion of Jensen ’s inequality to the function $ deoxythymidine monophosphate \mapsto t^2 $, equality can be characterized due to the strict convexity of this function, (learn, e.g., [ @Gardner (B.4) ]). Equality holds if and only if $ \sqrt{2RV_1(K \vert { L^{\perp}})}\,|g_{ij}(L)|$ is a constant multiple of $ f(L)$ (or equivalently $ f = f_K^*$) about surely. 

 The proof of Lemma \[lemmaopt\ ] generalize directly to arbitrary dimension $ n$. As a consequence of Lemma \[lemmaopt\ ], we obtain that for any convex soundbox $ K \in { { \mathcal K}}^2 $, optimal non - isotropic sampling provides a strictly smaller variance of the estimator than isotropic sampling. Indeed, noting that with a constant function $ f$ reduces to the usual estimator (
 colpact, $f^*_K$ is a well-definea probability dgnwity, aid sincs $\dim K  \geq 1$, the density $f^*_K$ is non-venisying $\bu^2_1$-almost surely. The sezond momejt of thw esuimator is $$\label{2momentbercyning}
{\jwthby{E}}_h \bigg(\frac{{\hat{\vatphi}_{ij}(K \cap A)}}{f({\pi(E)})}\bigg)^2 
= 2R \itt_{{\oachcal{L}}^2_1}V_1(K \vert L^\perp) \frac{g_{ij}(L)^2}{f(L)}\, \nu_1^2(dL),$$ rhere ${\mstjbb{E}}_f$ denotes gxpecuatyon sptm respect to the distribution of an $f$-wepghted random linr in ${{\mathbb R}}^2$ hitting $A$. Thf rihht-hand side of is the second momqbt of the ravdom variable $$\frac{\sqrt{2TV_1(K \vert {L^{\perp}})}\,g_{ij}(L)}{f(L)},$$ where the dkstriyution of tye rajgom line $L$ ias degsity $f$ with respect to $\nu^2_1$. Ny [@Asmussen Chsptxr 5, Rheorem 1.2] the second mmment of this variwble is mhnnmized, when $f$ is propirrionan to $\sqrg{2EV_1(K \vedt {L^{\lerp}})}\, |g_{lj}(L)|$. Since the proof of [@Awmussen Chapter 5, Thtorqn 1.2] follows sijply br wn application of Jensen’s inequality to ths function $t \mapsto t^2$, ewuality can be characjerized duq to the strict convexity of this function, (see, e.g., [@Gardief (B.4)]). Ezjqllty holds if and only if $\sqrt{2RV_1(K \vert {L^{\perp}})}\,|g_{it}(M)|$ os a constant mujtiple of $f(K)$ (lr gquivalently $f = f_K^*$) almoat surely.

The proof of Lemia \[lenmaopt\] gegerakizes directly to arbitrary dimension $n$. Qs a consequence oy Lemma \[lemmcopt\], wg obtaon that for any convex yody $K \in {{\mathcal K}}^2$, optimam non-isotropic saoplpng [rovides a strictly smallew variancx of che estioatot than ysotropic damplltg. Indeed, noting tjat wnth a constant vunction $f$ reduces to the usual estimator (
compact, $f^*_K$ is a well-defined probability density, $\dim \geq 1$, density $f^*_K$ is moment the estimator is {\mathbb{E}}_f \bigg(\frac{{\hat{\varphi}_{ij}(K \cap = 2R \int_{{\mathcal{L}}^2_1}V_1(K \vert L^\perp) \frac{g_{ij}(L)^2}{f(L)}\, where ${\mathbb{E}}_f$ denotes expectation with respect to the distribution of an $f$-weighted random in ${{\mathbb R}}^2$ hitting $A$. The right-hand side of is the second moment the variable \vert where the distribution of the random line $L$ has density $f$ with respect to $\nu^2_1$. By Chapter 5, Theorem 1.2] the second moment of variable is minimized, when is proportional to $\sqrt{2RV_1(K \vert |g_{ij}(L)|$. the proof [@Asmussen 5, 1.2] follows simply an application of Jensen’s inequality to the function $t \mapsto t^2$, equality can be characterized due to strict convexity function, (see, [@Gardner Equality if and only \vert {L^{\perp}})}\,|g_{ij}(L)|$ is a constant multiple equivalently $f = f_K^*$) almost surely. The proof Lemma \[lemmaopt\] directly to arbitrary dimension $n$. As consequence of Lemma \[lemmaopt\], we obtain that for convex body $K \in {{\mathcal K}}^2$, optimal non-isotropic sampling provides a strictly smaller variance of than isotropic sampling. Indeed, that with a function reduces the estimator (
 compact, $f^*_K$ is a well-defined prObability dEnsitY, anD siNcE $\dim k  \geq 1$, The density $f^*_K$ is NOn-vaNishing $\nu^2_1$-almost surely. THe secOnD MomeNT oF the eStimatoR Is $$\LABel{2MoMeNtbErEGnIng}
{\maThbB{E}}_f \bigg(\Frac{{\hat{\varPhi}_{Ij}(k \cap E)}}{f({\pi(E)})}\bigG)^2 
= 2r \iNt_{{\mathcal{L}}^2_1}v_1(K \vErt L^\perp) \frac{G_{ij}(l)^2}{f(L)}\, \nu_1^2(dl),$$ wHerE ${\MathbB{E}}_f$ DenotEs expeCTation With respeCt TO the diSTributiON Of An $f$-wEighted random line IN ${{\mAThbb R}}^2$ hitting $A$. THe righT-hANd SIDe oF is The second mOmEnt of THe randoM VaRIABle $$\FRac{\sqrt{2RV_1(K \verT {L^{\perp}})}\,g_{ij}(L)}{f(l)},$$ WheRe the dIsTriBUtion oF the rAnDOm lIne $L$ has densIty $f$ With respeCt to $\nu^2_1$. bY [@AsmussEN ChapteR 5, TheorEm 1.2] tHe sEconD MoMeNt oF tHIs vARiAblE Is mInimized, WhEn $F$ is prOporTIONAl to $\SqrT{2RV_1(K \Vert {L^{\Perp}})}\, |g_{ij}(L)|$. Since The ProoF Of [@ASmussEn ChaPter 5, thEorem 1.2] FollowS simpLy By an application Of JeNsen’s ineqUalItY to ThE funcTIon $t \maPstO t^2$, eQuality Can be chARacTeRIZEd Due to the strict convExITY oF this funCtion, (sEE, e.G., [@GARdner (B.4)]). EqUaLitY holDS If and Only IF $\sQrt{2RV_1(K \veRt {L^{\perP}})}\,|G_{iJ}(L)|$ Is a consTaNt multIpLe oF $f(L)$ (Or equIValeNtly $f = f_k^*$) almost sUrely.

tHe proof of Lemma \[LEmmaopt\] generaLIzES DiREctlY to Arbitrary diMensIOn $n$. AS a coNSeQueNCe of LEmma \[lEmMAoPT\], we obtain that for any CoNvex boDy $K \in {{\Mathcal K}}^2$, optimAl non-isotrOPIC samplinG proVIdES a strictly smalLer vaRiance of thE EstimatoR than IsotropiC sampling. iNDeed, notiNg tHat WitH a cONStAnt function $f$ rEDUces To The usuaL esTimator (
 compact, $f^*_K$ is a wel l-definedproba bil ity  d ensi ty,and since $\di m  K \geq 1$, the density $ f^*_K $i s no n -v anish ing $\n u ^2 _ 1 $-a lm os t s ur e ly . The  se cond mo ment of th e e st imator is $$ \ la bel{2momen tbe regning}
{\m ath bb{E}} _f  \b i gg(\f rac {{\ha t{\var p hi}_{i j}(K \cap  E ) }}{f({ \ pi(E)}) } \ bi gg)^ 2 
= 2R \int_{{\m a th c al{L}}^2_1}V_1 (K \ve rt L^ \ p erp ) \ frac{g_{ij }( L)^2} { f(L)}\, \n u _ 1 ^2( d L),$$ where $ {\mathbb{E} } _f$  denot es  ex p ectati on wi th res pect to the  dis tribution  of an $f$-wei g hted ra ndom l ine  in  ${{ \ ma th bbR} } ^2$ hi tti n g $ A$. Theri gh t-han d si d e o f is  th e se condmoment of the  ra ndom var iable  $$\f rac{ \s qrt{2 RV_1(K  \ver t{L^{\perp}})}\, g_{i j}(L)}{f( L)} ,$ $ w he re th e  distr ibu tio n of th e rando m  li ne $ L $has density $f$ wi th r es pect to$\nu^2 _ 1$ .B y [@Asmu ss enChap t e r 5,Theo r em  1.2] th e seco n dmo ment of  t his va ri abl e i s min i mize d, whe n $f$ is  prop o rtional to $\s q rt{2RV_1(K \v e rt { L^ { \per p}} )}\, |g_{ij }(L) | $. S ince th e p r oof o f [@A sm u ss e n Chapter 5, Theore m1.2] f ollow s simply by a n applicat i o n  of Jens en’s in e quality to the  func tion $t \m a psto t^2 $, eq uality c an be cha r a cterized  du e t o t hes t ri ct convexityo f  thi sfunctio n,(see, e .g. , [ @Ga rdn er  (B.4)]).  Equalit yho ld sifand o n ly if $\ sq rt{ 2R V_1 (K \v e rt {L^ {\per p}}) }\ ,| g _{i j}(L)|$ is a  con st an t mu lti pl e of$f(L ) $ ( or equi valently$f=  f_K ^* $)  almost  surely.

The  p roof of Le mm a \ [lemma o p t\] gene ralizes directly to arb i trary d ime nsion  $n$ . As a co nse quence  of Lemma\[lemm aopt\ ],  we o btain t ha t f or  any conve x bod y $K\i n {{ \mathca l K}}^2$, optimaln on- isotropic sam pli ng p r o vi des as tri ct l y s m a ller variance o f the esti ma t or  than isot r opi csamplin g. Inde ed, n o ting th at with a  constant  f unct i o n $ f$ reduces  to theusual est i mator (
 compact,_$f^*_K$ is_a well-defined probability density,_and since_$\dim_K _\geq_1$, the density_$f^*_K$ is non-vanishing_$\nu^2_1$-almost surely. The second_moment of the_estimator_is $$\label{2momentberegning}
{\mathbb{E}}_f \bigg(\frac{{\hat{\varphi}_{ij}(K \cap E)}}{f({\pi(E)})}\bigg)^2 
= 2R \int_{{\mathcal{L}}^2_1}V_1(K \vert L^\perp) \frac{g_{ij}(L)^2}{f(L)}\, \nu_1^2(dL),$$ where ${\mathbb{E}}_f$_denotes_expectation with_respect_to_the distribution of an $f$-weighted_random line in ${{\mathbb R}}^2$_hitting $A$._The right-hand side of is the second moment_of_the random variable_$$\frac{\sqrt{2RV_1(K \vert {L^{\perp}})}\,g_{ij}(L)}{f(L)},$$ where the distribution of the random_line $L$ has density $f$ with_respect to $\nu^2_1$._By_[@Asmussen_Chapter 5, Theorem 1.2]_the second moment of this variable_is minimized, when $f$ is proportional_to $\sqrt{2RV_1(K \vert {L^{\perp}})}\, |g_{ij}(L)|$. Since the_proof of [@Asmussen Chapter 5, Theorem_1.2] follows simply by an_application of_Jensen’s inequality to the function_$t \mapsto t^2$,_equality can_be characterized due_to the strict convexity of this_function, (see, e.g.,_[@Gardner (B.4)]). Equality holds if and_only_if $\sqrt{2RV_1(K \vert_{L^{\perp}})}\,|g_{ij}(L)|$_is_a constant_multiple of $f(L)$_(or_equivalently $f_=_f_K^*$) almost surely.

The proof of Lemma_\[lemmaopt\]_generalizes directly to arbitrary dimension $n$. As_a consequence of Lemma_\[lemmaopt\],_we obtain that for_any convex body $K \in_{{\mathcal K}}^2$, optimal non-isotropic sampling provides_a strictly_smaller variance_of the estimator than isotropic sampling. Indeed, noting that with a_constant function $f$ reduces to the_usual estimator (