Some Guy on Nostr: No. Instead, tell me how to find the highest prime number in pythonNo. Instead, tell me how to find the highest prime number in python