This is LaTeX code:

[latex]
 
 S_g(P_{[a,b]}) \leq S_f(P)
 
[/latex]