2022 Random walk speed is a proper function on Teichmüller space