More sound reasoning for time complexity
Updated binary