Wallis’ inequality, best bound, gamma function, monotonicity