Find the next prime number from a given positive real number.