What are the examples of some mathematicians coming very close to a very promising theory or a correct proof of a big conjecture but not making or missing the last step?