The idea for this function was adding together the largest such that and for a given and all prime . For example, since .
Here's a list of the first 30 , starting from :
I'm interested in learning more about this function. To start things off, here's some identities I've already found: