The coefficient inequality