Ive proved all the way up to there so far, except a) lol, and its not too bad. There is a bit of reasoning im not sure about, but otherwise good. but for that one, look at the far RHS of the inequality, and then consider if a0/a1 was the minimum. sub it in and u get a1(a0/a1) = < a0 which is...