f Kt / 1 <