5^118 < 8^115