(-2/interval[5, 9999] )