ryan_greenblatt comments on COT Scaling implies slower takeoff speeds