Redirecting to Wirtinger's inequality