Ruimere preconditie sqrt-voorbeeld.