(n,k)-Turan graph edge count