população finita