User talk:Michael Hardy/Everest (mathematical competition)