Let $f$ be a homeomorphism on a compact metric space $X$. $K_1\supset K_2\supset\cdots \supset K$ are compact subsets of $X$ such that $f(K_n)=K_n$ and $K=\bigcap K_n$. If $h(f, K_1)<\infty$, do we always have $h(f,K)=\lim h(f,K_n)$?
I can show that this is true for $C^\infty$ diffeomorphisms where the entropy map of invariant measures is upper semi-continuous.