proof of mill critical speed equation