Makkai and Paré introduced the following binary relation on regular cardinals: given $\kappa$ and $\lambda$, $\kappa \vartriangleleft \lambda$ (read, $\kappa$ is **sharply less than** $\lambda$) when $\kappa < \lambda$ and, for every set $X$ of cardinality $< \lambda$, the set $P_\kappa (X)$ of all subsets of $X$ of cardinality $< \kappa$ has a cofinal subset of cardinality $< \lambda$.

It is not hard to see that $\kappa \vartriangleleft \kappa^+$ for all regular cardinals $\kappa$. On the other hand, $\aleph_1$ is *not* sharply less than $\aleph_{\omega + 1}$, so $\vartriangleleft$ is not the same as $<$. Nonetheless, it is true that $\aleph_0 \vartriangleleft \lambda$ for every uncountable regular cardinal $\lambda$, simply because $P_{\aleph_0} (X)$ has the same cardinality as $X$ when $X$ is infinite. More generally, if for all (not necessarily regular) cardinals $\kappa' < \kappa$ and all cardinals $\lambda' < \lambda$, we have ${\lambda'}^{\kappa'} < \lambda$, then $\kappa \vartriangleleft \lambda$. In particular if $\lambda$ is an inaccessible cardinal then $\kappa \vartriangleleft \lambda$ for all regular cardinals $\kappa < \lambda$.

**Question.** Do there exist *uncountable* regular cardinals $\kappa$ such that $\kappa \vartriangleleft \lambda$ if and only if $\kappa < \lambda$? Is there a proper class of them?