Singular cardinal hypothesis