Well, there's no guarantee he would've won. People who lead the marathon by a wide margin for a long time frequently don't win in the end, and there was quite a ways to go in the race. However, he was certainly in contention, and now we'll never know if he could've done it or not.

At least he ended up getting the bronze. That certainly counts for something, especially since it's Brazil's first medal in the event ever.