aOT Cip - k)t<n