9+k2k28<(8+k2)K(k)ln(4/k)<9.096.