pythonサルの分桃問題を実現

問題の説明:
5匹の猿が桃を分ける.夜中、最初のサルが先に起きて、桃を等しい5つの山に分けて、1匹増えました.そこで、それは1つ食べて、たくさん持って行きました;2匹目のサルが起きてみると、桃の山が4つしかありません.そこで4つの山を合わせて、等しい5つの山に分けて、また1つ増えました.そこで、それも1つ食べて、たくさん持って行きました;......他の何匹かのサルもこのように分けられています.問:この桃の山は少なくともいくつありますか.

##                
def peach(monkey=5):
    pea = 4  ##             
    while 1:
        num = pea
        for i in range(monkey):
            num = num + num / 4 + 1
            if num % 1 != 0:  ##              
                pea += 4  ##        4    
                break
        if num % 1 == 0:  ##         
            break
    return pea, num


if __name__ == '__main__':
    pea, num = peach()
    print(pea, num)