In this paper, we first present a discrete fixed point theorem for contraction mappings from the product set of integer … intervals into itself, which is an extension of Robert's discrete fixed point theorem. Next, we derive an existence theorem of a …