g⁡(k)≥2k+⌊3k2k⌋-2,