? This function is called the cumulative introduction distribution function of x, or distribution function for short.