A set is Kakeya if it contains a line in every direction. We prove that every Kakeya set in the $n$-space over $F_q$ has at least
$2^{-n+1}*q^n$ elements. This is sharp up to the lower-order terms. Joint work with Ting-Wei Chao.