by
  exact sq_nonneg x