On Wallis' inequality