solution-set-2__formal-analysis-tools__big-o-notation-for-coding-interviews-and-beyond