اثبات قابل پذیرش بودن تابع (h(n