A lower bound for the rank of a universal quadratic form with integer coefficients in a totally real number field | Synapse