The initial mass function of a massive relic galaxy