f(n):=(2*n-1)/n;

load(ineq);

u:f(n)<=f(n+1);

u:u*(n+1);

u:u*n;

u:expand(u);

u:u-(2*n**2+n);

quod erat demonstrandum