Wallis’ inequality, best bound, gamma function, psi function, convolution theorem, monotonicity