As for the regularity condition, I was curious to "see"
af(n/b) <= cf(n)
so I just graphed it. It was really helpful for me to see it, and I hope it helps someone else.