Talk:Eilenberg's inequality