TeX source:
K > 0.13