Probability Tools for Sequential Random Projection