changed notation for Nmaxk/Nmink to Fk/Pk