User blog comment:B1mb0w/The Last Alpha Number/@comment-5029411-20160628140030

It can be beaten with taking 10000 and subtract 1 of BIG FOOT fraction. Then put into Alpha function.