We will use Heegaard Floer homology to show that certain four-manifolds with positive-definite intersection form can't have symplectic structures. This can be seen as a very weak version of symplectic BMY inequality. This is joint work with Jennifer Hom.