This monograph focuses on the partial regularity theorem, as developed by Caffarelli, Kohn, and Nirenberg (CKN), and offers a proof of the upper bound on the Hausdorff dimension of the singular set of weak solutions of the Navier-Stokes inequality, while also providing a clear and insightful presentation of Scheffer's constructions showing their bound cannot be improved. A short, complete, and self-contained proof of CKN is presented in the second chapter, allowing the remainder of the book to be fully dedicated to a topic of central importance: the sharpness result of Scheffer. Chapters three and four contain a highly readable proof of this result, featuring new improvements as well. Researchers in mathematical fluid mechanics, as well as those working in partial differential equations more generally, will find this monograph invaluable.