Talk:Steinhaus number