$K$-functional