To exist or not to exist: example generation in real analysis