Lower bounds in Computational Complexity