Wirtinger inequality (2-forms)
 
x
OK