$V$ is a finite dimensional vector space over $F$. Given a symmetric bilinear form $b$ with $U$ a subspace of $V$ show $$\dim U + \dim U^\bot \geq \dim V.$$
Here I cannot assume that $b$ is non-degenerate. I can show that equality holds if $b$ is non-degenerate, but how would I approach showing this inequality?