As given, The Holy Roman Empire was formed in the year = 962
Let any year be represented by = x
We need an inequality in terms of 'x' and 962 that is true only for values of x that represent years before the year that the Holy Roman Empire formed.
So, inequality is x<962 as x is the year before 962.