On Martingale Inequalities in Non-commutative Stochastic Analysis