One-loop effective potential for λϕ4 theory in de Sitter space