Talk:Borell–TIS inequality