TeX-källa:

U(P^*,f,\alpha)\le U(P,f,\alpha),