In this video, we prove some simple results regarding Big-Op notation (eg. it's additive, Big O dominates Little o, variance gives O_p bound, and O_p can pass through functions with a bounded derivative).
In addition to giving useful results, this video can also be used as a template for simple proof techniques that engage Op notation.