The study of the maximum size of a graph of order not containing the complete bipartite graph as a subgraph is the aim of this paper. We show an upper bound for this extremal function that is optimum for infinitely many values of and . Moreover, we characterize the corresponding family of extremal graphs.