LinUCB: Martingale And Fixed-Direction Concentration Infrastructure #163

Sub issue for linUCB formalization

Sub Issue 4: Martingale And Fixed-Direction Concentration Infrastructure
Scope: prove the scalar/fixed-direction martingale concentration pieces used before the Gaussian mixture step.