translate to formal language. t/f? every real number is less than or equal to its square.

negate, t/f ∃x∀y(p(x, y) → q(x, y))

translate to formal language: there is no smallest positive real number.