Wirtinger's_inequality_for_functions loading ...