NXNの領域でF(k)-F(p,q)を[p,k]X[q,k]で上から評価してk->∞としてるだけだろ