Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I would like to add that some assumption on $X$ is necessary. Indeed, if we consider an infinite-dimensional Hilbert space $H$ equipped with its weak topology, then $f = \|\cdot\|$ is convex, lower semicontinuous but not continuous.
Note that the countability of the union also allows for the construction of a choice function: You can choose this element of $A_n$, which comes first in the enumeration of all of the elements of the union.
If $Y$ is a non-reflexive Banach space and $X = Y^*$, then the unit ball $B_Y$ of $Y$ is closed, bounded and convex, but not weak*-closed in $X^* = Y^{**}$ (due to Goldstine theorem). Thus, your first parenthesis might fail and, similarly, $f$ might fail to be weak*-lower semicontinuous.
In domains with corners, solutions of PDEs typically have corner singularities which limit their regularity. There might be something in the book by Grisvard.