それはk函数と呼ばれ、以下で定義される。