Poincaré–Wirtinger inequality