Königova nerovnost