6:15 PM
@F.Zer The idea is right, but the proof is wrong. Please check and use the formal deductive rules properly.
@F.Zer It's okay to look at other resources to get ideas. However, you need to actually get a proper formal proof. There are many non-rigorous proofs out there.
@avistein Yes, the question assumes there is already a fixed best and fixed hardest. The phrasing does not imply that you get to choose one of them to 'become' the best.