Category:Inequality Rule for Real Sequences