\documentclass[12pt]{article}
\usepackage{amsmath,amssymb,amsfonts}
\begin{document}
We give a simple proof to an extension of a fixed point theorem of $E$ Tarafdar [4] for multivalued mappings and show its equivalence to a KKM type result. A noncompact coincidence point theorem is also established. Applications of these results to establish the existence of solutions to variational inequalities in not necessarily reflexive Banach spaces are also considered.
\end{document}