Talk:Halanay inequality