  For the fractional Laplacian we give Hardy inequality which is optimal in
$L^p$ for $1<p<\infty$. As an application, we explicitly characterize the
contractivity of the corresponding Feynman-Kac semigroups on $L^p$.
