Added some discussion on the topic of time complexity, now ready to give a formal definition