Para todo ​k ​> 0: 

lim+
h→0 −1
∫
1
h
h2 +x2

−k
f (x)dx = lim+
h→0 ( −h
−k
∫
−1
h
h2 +x2
f (x)dx +
−h
∫
−k
h
h2 +x2

h
f (x)dx + ∫
−h
h
h
h2 +x2

k
f (x)dx +∫
k

h
h
h2 +x2
f (x)dx

1
+∫
k
1
h
h2 +x2
f (x)dx
)  

= lim+ ∫ 2
h
h +x2
f (x)dx + lim+ ∫ 2
h
h +x2
f (x)dx + lim+ ∫ 2
h
h +x2
f (x)dx + lim+ ∫ 2
h
h +x2
f (x)dx + lim+ ∫ h
2 2 f (x)dx = ...  
h→0 −1 h→0 −k h→0 −h h→0 h h→0 k h +x

 
−k −k −k −k
f (x) f (x) f (x)
Primer término:  lim+ ∫ 2
h
h +x2
f (x)dx = lim+ h · ∫ h2 +x2
dx = 0 · f inito = 0 . Es finito lim+ ∫ h2 +x2
dx = ∫ x2 dx  porque los límites 
h→0 −1 h→0 −1 h→0 −1 −1
f (x)
de integración son independientes de ​h,​  y la función x2 está acotada en el intervalo de integración que definen (dado que ​f 
es integrable). Ídem para ​quinto término​.  
 

Segundo término: 
( lim+ h
−h
∫
2 2 f (x)dx
h→0 −k h +x
−h
)   

−h −h
lim+ min {f (x) / x ∈ [− k ;− h]} · ∫ h
h2 +x2
dx ≤ lim+ ∫ h
h2 +x2
f (x)dx ≤ lim+ max {f (x) / x ∈ [− k ;− h]} · lim+ h
∫
2 2 dx  
h→0 −k h→0 −k h→0 h→0 −k h +x
−h
x=−h x=−h
min {f (x) / x ∈ [− k ; 0]} · lim+ arctan(x/h)│x=−k ≤ lim+ h
2 2 f (x)dx ∫ ≤ max {f (x) / x ∈ [− k ; 0]} · lim+ arctan(x/h)│x=− k
h→0 h→0 −k h +x h→0
−h
min {ídem} · [arctan(− 1) − arctan(− ∞)] ≤ lim+ h2 +xh
2 ∫
f (x)dx ≤ max {ídem} · [arctan(− 1) − arctan(− ∞)]    
h→0 −k
−h
min {f (x) / x ∈ [− k ; 0]} · [π/4]   ≤ lim+ h2 +xh
2 ∫
f (x)dx ≤ max {f (x) / x ∈ [− k ; 0]} · [π/4]    
h→0 −k

  

Tercer término: 
( lim+
h→0 −h
h
∫ h
h2 +x2
f (x)dx

h
)   

h −h
lim+ min {f (x) / x ∈ [− h; h]} · ∫ h
h2 +x2
dx ≤ lim+ ∫ h
h2 +x2
f (x)dx ≤ lim+ max {f (x) / x ∈ [− h; h]} · lim+ h
∫
2 2 dx
h→0 −h h→0 −h h→0 h→0 −h h +x
h
lim min {f (x) / x ∈ [− h; h]} · arctan(x/h)│x=h
x=−h ≤ lim h
∫
2 2 f (x)dx ≤ lim max {f (x) / x ∈ [− h; h]} · arctan(x/h)│x=h
x=−h  
h→0+ h→0+ −h h +x h→0+
h
f (0) · π /2 ≤ ∫
h
lim+ h2 +x 2
f (x)dx ≤ f (0) · π/2  
h→0 −h
h
Por tanto:  lim+ ∫ h
2 2 f (x)dx = f (0)π/2 . 
h→0 −h h +x

 
Cuarto término: 
Por razonamiento estructuralmente idéntico al empleado para el segundo término,  
k
min {f (x) / x ∈ [0; k ]} · [π/4]   ≤ lim+ ∫ h
2 2 f (x)dx ≤ max {f (x) / x ∈ [0; k ]} · [π/4]    
h→0 h h +x

______________________ 
Al ser nulos el primer y el quinto término, obtenemos:  

...
[ lim+
h→0 −1
∫
1
2
h
h +x2
f (x)dx
] = lim+
h→0 −k
−h
∫ 2
h
h +x2
f (x)dx + f (0)π/2 + lim+ ∫ h
h→0 h h +x
k
2 2 f (x)dx ,  para todo ​k ​> 0.  

 
 
 
min {f (x) / x ∈ [0; k ]} · [π/4] + f (0)π/2 + min {f (x) / x ∈ [0; k ]} · [π/4] ≤  
1
lim h
∫
2 2 f (x)dx ≤ 
h→0+ −1 h +x

max {f (x) / x ∈ [0; k ]} · [π/4] + f (0)π/2 + max {f (x) / x ∈ [0; k ]} · [π/4]  

para todo ​k ​> 0.  
 
Por tanto, aplicando el teorema del sándwich, obtenemos 
 
lim+ min {f (x) / x ∈ [0; k ]} · [π/4] + f (0)π/2 + min {f (x) / x ∈ [0; k ]} · [π/4] ≤  
k→0
1
lim+ lim+h
∫
2 2 f (x)dx ≤   
k→0 h→0 −1 h +x

lim max {f (x) / x ∈ [0; k ]} · [π/4] + f (0)π/2 + max {f (x) / x ∈ [0; k ]} · [π/4] ,  
k→0+
 
expresión que se simplifica como sigue:  
f (0)π/4 + f (0)π/2 + f (0)π/4 ≤  
1 1
lim+ ∫ h
h2 +x2
f (x)dx ≤  (ya que  lim+ ∫h
2 2 f (x)dx  es una constante respecto a ​k​, y el límite de una constante es dicha 
h→0 −1 h→0 −1 h +x

constante)  
f (0)π/4 + f (0)π/2 + f (0)π/4   
 
1
⇒  f (0) · π = lim+ ∫
h
2 2 f (x)dx  
h→0 −1 h +x

 
:D