Shafi Goldwasser and Joe Kilian's paper on Primality Testing using Elliptic Curves under the header "A PRIMALITY CRITERION USING ELLIPTIC CURVES" on page 9 contains a formula
$$\ q > n^\frac12+n^\frac14 + 1$$ and don't understand where the values of q and n are coming from.