Correct (lower) approximation for Nth prime upper bound