A probability tool for sequential random projection via martingale analysis