I'll discuss an application of a Froyshov-type theorem in the Heegaard Floer Homology of Ozsvath and Szabo to the four-ball genus problem. This is joint work with Brendan Owens.