Big-Omega proof

Exercise for Assignment 2

Take from regular ADS?

Creator: @mpsijm Reviewer: @yangelova