[math-fun] record coldest phase transition