slice-bennequin inequality